OAI/GroupTheory/SimpleAmenable/Homology/MarkedBlockDifferentials.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MarkedH1.imageP00 line 14
2. lemma OAI.MarkedH1.imageP01 line 16
3. lemma OAI.MarkedH1.imageP10 line 18
4. lemma OAI.MarkedH1.imageP02 line 20
5. lemma OAI.MarkedH1.imageP11 line 22
6. lemma OAI.MarkedH1.imageP20 line 24
7. lemma OAI.MarkedH1.imageP03 line 26
8. lemma OAI.MarkedH1.imageP12 line 28
9. lemma OAI.MarkedH1.imageP21 line 30
10. lemma OAI.MarkedH1.imageP30 line 32
11. lemma OAI.MarkedH1.map_arrow_T line 34
12. lemma OAI.MarkedH1.T_comp_congr line 37
13. lemma OAI.MarkedH1.compat01 line 41
14. lemma OAI.MarkedH1.compat10 line 53
15. lemma OAI.MarkedH1.compat02 line 66
16. lemma OAI.MarkedH1.compat11 line 81
17. lemma OAI.MarkedH1.compat20 line 98
18. lemma OAI.MarkedH1.compat03 line 114
19. lemma OAI.MarkedH1.compat12 line 133
20. lemma OAI.MarkedH1.compat21 line 155
21. lemma OAI.MarkedH1.compat30 line 177