OAI/Probability/CriticalPercolation/GraphGeometry/StripLinear.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.signed_div_abs line 17
2. lemma OAI.CriticalPercolation.BondGraph.signed_exit_error line 21
3. def OAI.CriticalPercolation.BondGraph.stripTime line 28
4. def OAI.CriticalPercolation.BondGraph.stripHeight line 31
5. lemma OAI.CriticalPercolation.BondGraph.strip_coordinate_bounds line 34
6. lemma OAI.CriticalPercolation.BondGraph.strip_coordinate_increments line 42
7. lemma OAI.CriticalPercolation.BondGraph.longitudinal_exit_boxMove line 68
8. lemma OAI.CriticalPercolation.BondGraph.transverse_exit_boxMove line 106