OAI/Combinatorics/BalancedRyser/Probability/SlotEdges.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.Slots.edgeEvent line 13
2. def OAI.Balanced.Slots.edgeSupport line 16
3. def OAI.Balanced.Slots.edgeSlotsDistinct line 20
4. def OAI.Balanced.Slots.edgeMass line 23
5. def OAI.Balanced.Slots.supportNeighbors line 28
6. def OAI.Balanced.Slots.touching line 33