OAI/Probability/BenjaminiSchramm/ExteriorContact.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Percolation.BenjaminiSchramm.distinct_exterior_event line 14
2. theorem OAI.Percolation.BenjaminiSchramm.lintegral_distinctClusterPair line 26
3. theorem OAI.Percolation.BenjaminiSchramm.kernelExteriorPotential_eq_distinctClusterPair line 54
4. theorem OAI.Percolation.BenjaminiSchramm.kernelExteriorPotential_edge_eq_contact line 69
5. theorem OAI.Percolation.BenjaminiSchramm.kernelExteriorPotential_edge_eq_derivative line 82