OAI/Probability/BenjaminiSchramm/PeakBandTransport.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.peakUpBandTransport line 13
2. def OAI.CriticalPercolation.BondGraph.peakDownBandCount line 17
3. lemma OAI.CriticalPercolation.BondGraph.peakUpBandTransport_outgoing line 20
4. lemma OAI.CriticalPercolation.BondGraph.peakUpBandTransport_incoming_bound line 40
5. lemma OAI.CriticalPercolation.BondGraph.measurable_peakUpBandTransport line 56
6. lemma OAI.CriticalPercolation.BondGraph.measurable_peakDownBandCount line 62
7. lemma OAI.CriticalPercolation.BondGraph.peakUpBandTransport_aut line 67
8. theorem OAI.CriticalPercolation.BondGraph.expected_peakDownBandCount_lower line 92