OAI/Probability/BenjaminiSchramm/SlabHit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.modularSlabHit line 14
2. lemma OAI.CriticalPercolation.BondGraph.modularSlabHit_upper line 19
3. lemma OAI.CriticalPercolation.BondGraph.modularSlabHit_finiteWitness line 23
4. lemma OAI.CriticalPercolation.BondGraph.measurableSet_modularSlabHit line 32
5. theorem OAI.CriticalPercolation.BondGraph.modularSlabHit_left_tendsto line 37