OAI/Probability/CriticalPercolation/Criticality/DeleteImageIso.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.Sharpness.measurableSet_boundary line 17
2. def OAI.CriticalPercolation.Sharpness.deleteImageIso line 35
3. lemma OAI.CriticalPercolation.Sharpness.boundary_image line 45
4. lemma OAI.CriticalPercolation.Sharpness.boundary_real_image line 70
5. lemma OAI.CriticalPercolation.Sharpness.phi_image line 89
6. theorem OAI.CriticalPercolation.Sharpness.uniform_subcritical_domains line 99