OAI/Combinatorics/BalancedRyser/Candidates/FreshExternalReview.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.(example at line 14) line 14
2. example OAI.(example at line 18) line 18
3. example OAI.(example at line 25) line 25