OAI/Combinatorics/BalancedRyser/Probability/FiniteProbability.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.FiniteProbability.mass line 11
2. def OAI.Balanced.FiniteProbability.avoid line 14