OAI/Probability/BenjaminiSchramm/PeakLayerTransport.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.peakBandTransport line 13
2. def OAI.CriticalPercolation.BondGraph.reverseWeightHit line 17
3. def OAI.CriticalPercolation.BondGraph.clusterBandCount line 20
4. lemma OAI.CriticalPercolation.BondGraph.measurable_peakBandTransport line 24
5. lemma OAI.CriticalPercolation.BondGraph.peakBandTransport_aut line 29
6. lemma OAI.CriticalPercolation.BondGraph.measurableSet_reverseWeightHit line 34
7. lemma OAI.CriticalPercolation.BondGraph.peakBandTransport_outgoing line 38
8. lemma OAI.CriticalPercolation.BondGraph.peakBandTransport_incoming_lower line 58
9. theorem OAI.CriticalPercolation.BondGraph.expected_peakBandCount_le_reverseWeightHit line 75