OAI/Probability/CriticalPercolation/Classification/FaithfulOrbitalModel.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.orbitalActionGroup line 19
2. def OAI.CriticalPercolation.BondGraph.orbitalActionMap line 23
3. lemma OAI.CriticalPercolation.BondGraph.orbitalActionMap_surjective line 27
4. instance OAI.CriticalPercolation.BondGraph.orbitalActionGroup_fg line 30
5. lemma OAI.CriticalPercolation.BondGraph.orbitalActionMap_kernel_fixes line 34
6. lemma OAI.CriticalPercolation.BondGraph.orbitalActionMap_finite_kernel_orbits line 42
7. lemma OAI.CriticalPercolation.BondGraph.orbitalActionGroup_transitive line 52
8. theorem OAI.CriticalPercolation.BondGraph.sparse_polynomial_faithful_orbital_model line 67