OAI/Probability/BenjaminiSchramm/NormalizedLayerTransport.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.orbitAdjustedHeight_reverse line 13
2. lemma OAI.CriticalPercolation.BondGraph.orbitAdjustedHeight_exp_balance line 20
3. theorem OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.random_normalized_tilted_transport line 31
4. def OAI.CriticalPercolation.BondGraph.adjustedBandTransport line 61
5. def OAI.CriticalPercolation.BondGraph.adjustedBandCount line 65
6. lemma OAI.CriticalPercolation.BondGraph.measurable_adjustedBandTransport line 68
7. lemma OAI.CriticalPercolation.BondGraph.adjustedBandTransport_aut line 73
8. lemma OAI.CriticalPercolation.BondGraph.adjustedBandTransport_reverse line 81
9. lemma OAI.CriticalPercolation.BondGraph.adjustedBandTransport_weight_bounds line 94
10. theorem OAI.CriticalPercolation.BondGraph.expected_adjustedBandCount_reciprocity line 109