OAI/Probability/CriticalPercolation/Gluing/EllipseMoves.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.ellipseTime line 18
2. def OAI.CriticalPercolation.BondGraph.ellipseHeight line 21
3. lemma OAI.CriticalPercolation.BondGraph.circle_component_bounds line 24
4. lemma OAI.CriticalPercolation.BondGraph.ellipse_coordinates_norm_bound line 29
5. lemma OAI.CriticalPercolation.BondGraph.ellipse_coordinates_sub line 36
6. lemma OAI.CriticalPercolation.BondGraph.ellipse_coordinates_step line 45
7. theorem OAI.CriticalPercolation.BondGraph.ellipseExit_boxMove line 58