OAI/Probability/CriticalPercolation/GraphGeometry/OrbitRepresentatives.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.CriticalPercolation.BondGraph.OrbitRepresentatives line 16
2. lemma OAI.CriticalPercolation.BondGraph.finite_vertexOrbits line 21
3. def OAI.CriticalPercolation.BondGraph.orbitRepresentatives line 34
4. abbrev OAI.CriticalPercolation.BondGraph.PairOrbit line 52
5. def OAI.CriticalPercolation.BondGraph.pairOrbit line 54
6. lemma OAI.CriticalPercolation.BondGraph.pairOrbit_eq line 56
7. lemma OAI.CriticalPercolation.BondGraph.Aut.pairOrbit line 67
8. abbrev OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.RootedPair line 74
9. def OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.pairMap line 76
10. lemma OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.fiber_root_eq line 78
11. lemma OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.fiber_snd_mem line 84
12. def OAI.CriticalPercolation.BondGraph.OrbitRepresentatives.fiberEquiv line 90