OAI/Probability/CriticalPercolation/GraphGeometry/Column.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.avoided_drift_zero line 20
2. def OAI.CriticalPercolation.BondGraph.column line 51
3. lemma OAI.CriticalPercolation.BondGraph.column_as_avoidedAverage line 56
4. lemma OAI.CriticalPercolation.BondGraph.column_update line 65
5. lemma OAI.CriticalPercolation.BondGraph.column_later_residual line 77
6. lemma OAI.CriticalPercolation.BondGraph.column_decomposition line 104