OAI/Probability/CriticalPercolation/Modular/WeightedCauchy.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.FiniteEntropy.weighted_cauchy line 21
2. lemma OAI.CriticalPercolation.FiniteEntropy.pooled_bias_bound line 28
3. lemma OAI.CriticalPercolation.FiniteEntropy.pooled_two_weight_bound line 76