OAI/Probability/CriticalPercolation/Exploration/BallIncidence.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.sum_comp_le_fibre_bound line 15
2. lemma OAI.CriticalPercolation.BondGraph.finite_bond_endpoints line 34
3. lemma OAI.CriticalPercolation.BondGraph.finite_bonds_in_ball line 42
4. lemma OAI.CriticalPercolation.BondGraph.inducedEdges_monotone line 49
5. def OAI.CriticalPercolation.BondGraph.inducedBallExhaustion line 53
6. lemma OAI.CriticalPercolation.BondGraph.Aut.inducedEdges_map line 64
7. lemma OAI.CriticalPercolation.BondGraph.translated_bonds_in_ball line 71
8. lemma OAI.CriticalPercolation.BondGraph.orbit_edge_fibre_bound line 80