OAI/Combinatorics/BalancedRyser/Local/TwoReuseEndpoint.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.Balanced.Local.(example at line 13) line 13
2. example OAI.Balanced.Local.(example at line 29) line 29
3. example OAI.Balanced.Local.(example at line 35) line 35
4. example OAI.Balanced.Local.(example at line 44) line 44
5. example OAI.Balanced.Local.(example at line 47) line 47