OAI/Probability/BenjaminiSchramm/ConsistentLayers.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.adjustedLayerIndex line 12
2. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_self line 15
3. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_aut line 18
4. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_change_base line 24
5. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_periodic line 35
6. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_height_bounds line 41
7. lemma OAI.CriticalPercolation.BondGraph.adjustedLayerIndex_edge_jump line 62