OAI/Probability/BenjaminiSchramm/SprinklingPeakGeometry.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.conn_last_exit_off_internal line 14
2. lemma OAI.Percolation.BenjaminiSchramm.union_strict_peak_of_exterior_avoidance line 26
3. lemma OAI.Percolation.BenjaminiSchramm.no_blue_incident_exterior_avoidance line 39