OAI/Combinatorics/BalancedRyser/Candidates/CandidatePairFibers.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.CandidatePairs.successfulPairs line 14
2. theorem OAI.Balanced.CandidatePairs.sum_partner_eq_pair_card line 17
3. theorem OAI.Balanced.CandidatePairs.pairCount_eq_successfulPairs_card line 62
4. theorem OAI.Balanced.CandidatePairs.successfulPairs_card_eq_rootFiberSquareCount line 67
5. theorem OAI.Balanced.CandidatePairs.pairCount_eq_rootFiberSquareCount line 87
6. theorem OAI.Balanced.CandidatePairs.pairPatternModel_count_eq_pairCount line 92
7. theorem OAI.Balanced.CandidatePairs.firstOverlapPairCount_eq_card line 97
8. theorem OAI.Balanced.CandidatePairs.swap_mem_successfulPairs line 115
9. theorem OAI.Balanced.CandidatePairs.second_overlap_card_eq_first line 120
10. theorem OAI.Balanced.CandidatePairs.pairPatternModel_allExposed_overlap_le line 137