OAI/Probability/CriticalPercolation/Growth/GraphRelativeGrowth.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.GraphTopology.vertexStabilizer line 15
2. lemma OAI.CriticalPercolation.GraphTopology.mem_vertexStabilizer line 26
3. def OAI.CriticalPercolation.GraphTopology.stabilizerCosetEmbedding line 28
4. lemma OAI.CriticalPercolation.GraphTopology.stabilizerCosetEmbedding_mk line 42
5. lemma OAI.CriticalPercolation.GraphTopology.displacement_pow_subset line 45
6. lemma OAI.CriticalPercolation.GraphTopology.stabilizer_coset_ball_image_subset line 57
7. lemma OAI.CriticalPercolation.GraphTopology.displacement_relativeDegree line 63
8. lemma OAI.CriticalPercolation.GraphTopology.vertexStabilizer_bounded line 79