OAI/Probability/CriticalPercolation/Gluing/ContourSites.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Boundary.forwardDir line 14
2. def OAI.CriticalPercolation.Boundary.forwardIndices line 16
3. def OAI.CriticalPercolation.Boundary.outsideSites line 19
4. lemma OAI.CriticalPercolation.Boundary.forward_step line 22
5. lemma OAI.CriticalPercolation.Boundary.twice_forward_card line 26
6. lemma OAI.CriticalPercolation.Boundary.rightSite_direction_injective line 51
7. lemma OAI.CriticalPercolation.Boundary.forward_card_le_twice_outside line 59
8. theorem OAI.CriticalPercolation.Boundary.length_le_four_outside line 77
9. lemma OAI.CriticalPercolation.Boundary.forward_child line 84
10. lemma OAI.CriticalPercolation.Boundary.outsideSites_failed_children line 97