OAI/Probability/BenjaminiSchramm/FreshSlabConcatenation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.restrictedHit line 12
2. lemma OAI.Percolation.BenjaminiSchramm.measurableSet_restrictedHit line 15
3. lemma OAI.Percolation.BenjaminiSchramm.restrictedHit_dependsOn line 22
4. theorem OAI.Percolation.BenjaminiSchramm.restrictedHit_fresh_concatenation line 36
5. theorem OAI.Percolation.BenjaminiSchramm.slab_crossing_fresh_product line 74