OAI/Probability/BenjaminiSchramm/FractionalBandTransport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.ennreal_mul_negative_rpow_le line 11
2. lemma OAI.CriticalPercolation.BondGraph.fractionalReverseBandTransport_outgoing line 33
3. lemma OAI.CriticalPercolation.BondGraph.fractionalReverseBandTransport_incoming_sum line 41
4. lemma OAI.CriticalPercolation.BondGraph.measurable_fractionalReverseBandTransport line 56
5. lemma OAI.CriticalPercolation.BondGraph.fractionalReverseBandTransport_aut line 62
6. theorem OAI.CriticalPercolation.BondGraph.expected_fractional_band_transport line 70