OAI/Combinatorics/BalancedRyser/Incidence/Stability.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.uncoveredPoints line 13
2. def OAI.Balanced.pencilSize line 16
3. def OAI.Balanced.stabilityDensity line 19
4. def OAI.Balanced.PrimeStability line 21
5. def OAI.Balanced.CorePencilEvent line 31
6. def OAI.Balanced.NearCoverFailure line 37