OAI/Probability/CriticalPercolation/Gluing/SlotContour.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Boundary.gridSlot line 15
2. def OAI.CriticalPercolation.Boundary.quadrant line 17
3. lemma OAI.CriticalPercolation.Boundary.gridSlot_injective line 19
4. lemma OAI.CriticalPercolation.Boundary.gridSlot_east line 28
5. lemma OAI.CriticalPercolation.Boundary.gridSlot_north line 33
6. def OAI.CriticalPercolation.Boundary.gridFailure line 38
7. lemma OAI.CriticalPercolation.Boundary.specified_grid_failures line 41
8. theorem OAI.CriticalPercolation.Boundary.infinitely_many_good_from_tests line 80