OAI/Probability/BenjaminiSchramm/ExteriorConnection.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.exteriorSusceptibility line 14
2. theorem OAI.Percolation.BenjaminiSchramm.measurable_exteriorSusceptibility line 18
3. theorem OAI.Percolation.BenjaminiSchramm.exteriorSusceptibility_nonneg line 25
4. theorem OAI.Percolation.BenjaminiSchramm.exteriorSusceptibility_eq line 29
5. def OAI.Percolation.BenjaminiSchramm.exteriorConnectionMoment line 36
6. theorem OAI.Percolation.BenjaminiSchramm.connection_exterior_comparison line 41