OAI/Combinatorics/BalancedRyser/Deletion/UniformDeletionReview.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.(example at line 9) line 9
2. example OAI.(example at line 15) line 15
3. example OAI.(example at line 23) line 23
4. example OAI.(example at line 29) line 29
5. example OAI.(example at line 35) line 35