OAI/Probability/CriticalPercolation/Gluing/ContourWords.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.Boundary.wordDir line 14
2. def OAI.CriticalPercolation.Boundary.wordEdge line 17
3. lemma OAI.CriticalPercolation.Boundary.wordEdge_chain line 20
4. lemma OAI.CriticalPercolation.Boundary.wordEdge_zero line 24
5. lemma OAI.CriticalPercolation.Boundary.wordEdge_reconstruct line 27
6. lemma OAI.CriticalPercolation.Boundary.card_words line 53
7. def OAI.CriticalPercolation.Boundary.wordValid line 56
8. lemma OAI.CriticalPercolation.Boundary.wordValid_reconstruct line 59
9. lemma OAI.CriticalPercolation.Boundary.outsideSites_congr line 70
10. theorem OAI.CriticalPercolation.Boundary.finite_good_contour line 83