OAI/Probability/BenjaminiSchramm/PeakBandProbability.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.strictPeakBandEvent line 14
2. lemma OAI.CriticalPercolation.BondGraph.strictPeakBandEvent_aut line 18
3. lemma OAI.CriticalPercolation.BondGraph.measurableSet_strictPeakBandEvent line 52
4. lemma OAI.CriticalPercolation.BondGraph.strictPeakBandEvent_probability_aut line 57
5. lemma OAI.CriticalPercolation.BondGraph.strictPeakBandEvent_probability_le_weighted_roots line 69