OAI/GroupTheory/SimpleAmenable/Homology/Face410.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MarkedH1.face_4_1_0 line 11
2. lemma OAI.MarkedH1.face_4_1_1 line 34
3. lemma OAI.MarkedH1.face_4_1_2 line 56
4. lemma OAI.MarkedH1.face_4_1_3 line 81
5. lemma OAI.MarkedH1.face_4_1_4 line 106
6. lemma OAI.MarkedH1.face_4_2_0 line 129
7. lemma OAI.MarkedH1.face_4_2_1 line 152
8. lemma OAI.MarkedH1.face_4_2_2 line 177
9. lemma OAI.MarkedH1.face_4_2_3 line 199
10. lemma OAI.MarkedH1.face_4_2_4 line 224
11. lemma OAI.MarkedH1.face_4_3_0 line 247
12. lemma OAI.MarkedH1.face_4_3_1 line 270
13. lemma OAI.MarkedH1.face_4_3_2 line 295
14. lemma OAI.MarkedH1.face_4_3_3 line 320
15. lemma OAI.MarkedH1.face_4_3_4 line 343