OAI/Combinatorics/BalancedRyser/Selection/SelectionConcentrationReview.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

1. example OAI.Balanced.Selection.Process.(example at line 10) line 10