OAI/Probability/CriticalPercolation/Criticality/DiskWinding.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.DiskWinding.increment line 12
2. lemma OAI.CriticalPercolation.DiskWinding.increment_add_of_short line 14
3. lemma OAI.CriticalPercolation.DiskWinding.sum_successive_sub line 33
4. lemma OAI.CriticalPercolation.DiskWinding.cell_balance line 39
5. theorem OAI.CriticalPercolation.DiskWinding.boundary_sum_zero line 46
6. lemma OAI.CriticalPercolation.DiskWinding.boundary_sum_lift line 88
7. theorem OAI.CriticalPercolation.DiskWinding.exists_large_edge line 100
8. lemma OAI.CriticalPercolation.DiskWinding.boundary_mesh_lifts line 116