OAI/Probability/BenjaminiSchramm/ThinSphereRecurrence.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Percolation.BenjaminiSchramm.domain_cluster_subset line 14
2. theorem OAI.Percolation.BenjaminiSchramm.radius_thin_sphere_recurrence line 18