OAI/Probability/CriticalPercolation/GraphGeometry/EquivariantCoordinates.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.EquivariantCoordinates.hom_eq_of_smul_eq line 14
2. lemma OAI.CriticalPercolation.EquivariantCoordinates.stabilizer_killed line 22
3. theorem OAI.CriticalPercolation.EquivariantCoordinates.exists_equivariant line 33
4. lemma OAI.CriticalPercolation.EquivariantCoordinates.surjective_of_equivariant line 52
5. lemma OAI.CriticalPercolation.EquivariantCoordinates.same_level_kernel_orbit line 60
6. theorem OAI.CriticalPercolation.EquivariantCoordinates.finite_fibers line 73