OAI/Probability/BenjaminiSchramm/FractionalSlabGeometry.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.adjustedSlabBandTransport line 13
2. def OAI.CriticalPercolation.BondGraph.adjustedSlabBandCount line 19
3. lemma OAI.CriticalPercolation.BondGraph.adjustedSlabBandCount_eq_restricted line 23
4. lemma OAI.CriticalPercolation.BondGraph.adjusted_slab_connection_change_root line 37
5. lemma OAI.CriticalPercolation.BondGraph.reverse_slab_band_count_le_zero_band line 52
6. def OAI.CriticalPercolation.BondGraph.fractionalReverseSlabTransport line 79
7. lemma OAI.CriticalPercolation.BondGraph.fractionalReverseSlabTransport_incoming_lower line 84
8. lemma OAI.CriticalPercolation.BondGraph.adjustedSlabBandTransport_aut line 115
9. lemma OAI.CriticalPercolation.BondGraph.adjustedSlabBandCount_aut line 133
10. lemma OAI.CriticalPercolation.BondGraph.measurable_adjustedSlabBandTransport line 144
11. lemma OAI.CriticalPercolation.BondGraph.measurable_adjustedSlabBandCount line 152