OAI/Combinatorics/BalancedRyser/Candidates/CandidateExternalTransport2.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.(example at line 8) line 8
2. example OAI.(example at line 13) line 13
3. example OAI.(example at line 18) line 18
4. example OAI.(example at line 26) line 26