OAI/Probability/CriticalPercolation/GraphGeometry/EllipseGrid.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.EuclideanEllipse.gridPoint line 13
2. lemma OAI.CriticalPercolation.EuclideanEllipse.gridPoint_mem line 15
3. lemma OAI.CriticalPercolation.EuclideanEllipse.gridPoint_dist line 25
4. lemma OAI.CriticalPercolation.EuclideanEllipse.exists_grid_mesh line 47
5. lemma OAI.CriticalPercolation.EuclideanEllipse.gridPoint_angular_step line 63
6. theorem OAI.CriticalPercolation.EuclideanEllipse.exists_grid_comparison line 70