OAI/Probability/BenjaminiSchramm/NormalizedExponentComparison.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.supermultiplicative_exp_rate_bound line 11
2. theorem OAI.Percolation.BenjaminiSchramm.normalized_halfspace_uniform_of_infimal_bound line 49
3. theorem OAI.Percolation.BenjaminiSchramm.normalized_crossing_real_bound line 107
4. theorem OAI.Percolation.BenjaminiSchramm.critical_normalized_exponent_ge_one line 147
5. theorem OAI.Percolation.BenjaminiSchramm.critical_normalized_exact_exponent line 169