OAI/Probability/BenjaminiSchramm/IntegerFrontierCrossing.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Percolation.BenjaminiSchramm.integer_lower_frontier_level line 14
2. lemma OAI.Percolation.BenjaminiSchramm.integer_frontierCount_le_fullLayerCount line 26
3. lemma OAI.Percolation.BenjaminiSchramm.integer_upper_layer_hit_frontier_probability line 44