OAI/GroupTheory/SimpleAmenable/Homology/SymmetricH1.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.SymmetricConfiguration.castGroup line 13
2. lemma OAI.SimpleAmenable.SymmetricConfiguration.castGroup_apply line 14
3. lemma OAI.SimpleAmenable.SymmetricConfiguration.stabilize_add line 16
4. lemma OAI.SimpleAmenable.SymmetricConfiguration.stabilize_zero_bijective line 48
5. lemma OAI.SimpleAmenable.SymmetricConfiguration.stabilize_H1_isIso line 55
6. lemma OAI.SimpleAmenable.SymmetricConfiguration.columnAugmentation_H1_isIso line 70
7. lemma OAI.SimpleAmenable.SymmetricConfiguration.face_H1_isIso line 87
8. lemma OAI.SimpleAmenable.SymmetricConfiguration.boundary_two_H1_isIso line 101
9. lemma OAI.SimpleAmenable.SymmetricConfiguration.boundary_five line 106
10. lemma OAI.SimpleAmenable.SymmetricConfiguration.boundary_four_H0_isIso line 113
11. lemma OAI.SimpleAmenable.SymmetricConfiguration.boundary_zero_H2_isIso line 120
12. lemma OAI.SimpleAmenable.SymmetricConfiguration.stabilizer_H2_isIso line 136
13. lemma OAI.SimpleAmenable.SymmetricConfiguration.stabilize_one_H2_isIso line 145