OAI/GroupTheory/SimpleAmenable/Configurations/AlternatingStability.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.stabilizeAlternating_smul_standard line 20
2. def OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingRestrict line 28
3. def OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingStabilizerEquiv line 42
4. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingStabilizerEquiv_subtype line 58
5. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.alternatingStabilizer_perfect line 62
6. abbrev OAI.SimpleAmenable.PolygonPlacement.Configuration.altColumn line 68
7. abbrev OAI.SimpleAmenable.PolygonPlacement.Configuration.altFaceHom line 70
8. abbrev OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary line 73
9. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary_square line 76
10. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary_exact line 79
11. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary_zero_epi line 85
12. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altFace_H0_eq line 89
13. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altFace_H0_isIso line 97
14. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary_two_H0_isIso line 104
15. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altColumn_H1_isZero line 114
16. lemma OAI.SimpleAmenable.PolygonPlacement.Configuration.altBoundary_zero_H2_epi line 121