OAI/Combinatorics/BalancedRyser/Incidence/CandidateIncidenceTests.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Balanced.CandidateIncidenceTests.Test line 11
2. def OAI.Balanced.CandidateIncidenceTests.count line 17
3. theorem OAI.Balanced.CandidateIncidenceTests.card_test line 37
4. theorem OAI.Balanced.CandidateIncidenceTests.card_test_le line 49
5. theorem OAI.Balanced.CandidateIncidenceTests.count_le line 62
6. def OAI.Balanced.CandidateIncidenceTests.SmallGood line 69
7. theorem OAI.Balanced.CandidateIncidenceTests.smallGood_iff line 71
8. def OAI.Balanced.CandidateIncidenceTests.GlobalGood line 114
9. def OAI.Balanced.CandidateIncidenceTests.SizeGood line 119
10. theorem OAI.Balanced.CandidateIncidenceTests.exists_threshold_graphGood line 124