OAI/Combinatorics/BalancedRyser/Candidates/ExternalModelIndependent.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.Balanced.ExternalAssembly.(example at line 9) line 9
2. example OAI.Balanced.ExternalAssembly.(example at line 13) line 13
3. example OAI.Balanced.ExternalAssembly.(example at line 18) line 18
4. example OAI.Balanced.ExternalAssembly.(example at line 23) line 23