OAI/Probability/CriticalPercolation/Criticality/SubcriticalLocalRateBound.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.Sharpness.subcritical_local_rate_bound line 17
2. theorem OAI.CriticalPercolation.Sharpness.no_uniform_critical_twoPoint line 55
3. lemma OAI.CriticalPercolation.Sharpness.harris_infiniteEvent line 94
4. lemma OAI.CriticalPercolation.Sharpness.unique_twoPoint_lower line 123
5. theorem OAI.CriticalPercolation.Sharpness.critical_null_of_unique line 137