OAI/Probability/CriticalPercolation/GraphGeometry/InducedAutomorphism.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.Aut.inducedEdges_mem line 17
2. lemma OAI.CriticalPercolation.BondGraph.Aut.inducedEdges_image line 31
3. def OAI.CriticalPercolation.BondGraph.Aut.restrict line 42
4. lemma OAI.CriticalPercolation.BondGraph.Aut.domainComponent_image line 66
5. lemma OAI.CriticalPercolation.BondGraph.domainComponent_eq_of_mem line 72
6. lemma OAI.CriticalPercolation.BondGraph.Aut.preserves_domainComponent line 77