OAI/Combinatorics/BalancedRyser/Candidates/CandidateConstituentTargets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.CandidateConstituent.mem_successfulCodes_iff line 14
2. def OAI.Balanced.CandidateConstituent.constituentTargetCodes line 21
3. theorem OAI.Balanced.CandidateConstituent.mem_constituentTargetCodes_iff line 25
4. theorem OAI.Balanced.CandidateConstituent.expected_random_constituent_eq_of_mem line 43
5. theorem OAI.Balanced.CandidateConstituent.expected_random_constituent_le_of_mem line 59
6. theorem OAI.Balanced.CandidateConstituent.expected_constituentTargetCodes_le_of_mem line 68