OAI/Probability/CriticalPercolation/GraphGeometry/StripContinuity.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.axisExit_mono_width line 18
2. lemma OAI.CriticalPercolation.BondGraph.reachable_level_mem_exit_union line 25
3. theorem OAI.CriticalPercolation.BondGraph.exists_transverse_exit_probability line 38
4. lemma OAI.CriticalPercolation.BondGraph.longitudinal_exit_probability line 66