OAI/Combinatorics/BalancedRyser/Candidates/ConstituentOffsets.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.Balanced.ConstituentOffsets line 8
2. def OAI.Balanced.AllConstituentPairsDistinct line 10
3. def OAI.Balanced.finiteUniformProbability line 13
4. def OAI.Balanced.distinctConstituentProbability line 17