OAI/GroupTheory/SimpleAmenable/Homology/Face200.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MarkedH1.face_2_0_0 line 13
  2. lemma OAI.MarkedH1.face_2_0_1 line 23
  3. lemma OAI.MarkedH1.face_2_0_2 line 40
  4. lemma OAI.MarkedH1.face_2_1_0 line 56
  5. lemma OAI.MarkedH1.face_2_1_1 line 72
  6. lemma OAI.MarkedH1.face_2_1_2 line 87
  7. lemma OAI.MarkedH1.face_3_0_0 line 98
  8. lemma OAI.MarkedH1.face_3_0_1 line 111
  9. lemma OAI.MarkedH1.face_3_0_2 line 133
  10. lemma OAI.MarkedH1.face_3_0_3 line 155
  11. lemma OAI.MarkedH1.face_3_1_0 line 176
  12. lemma OAI.MarkedH1.face_3_1_1 line 197
  13. lemma OAI.MarkedH1.face_3_1_2 line 216
  14. lemma OAI.MarkedH1.face_3_1_3 line 238
  15. lemma OAI.MarkedH1.face_3_2_0 line 259
  16. lemma OAI.MarkedH1.face_3_2_1 line 280
  17. lemma OAI.MarkedH1.face_3_2_2 line 302
  18. lemma OAI.MarkedH1.face_3_2_3 line 322
  19. lemma OAI.MarkedH1.face_4_0_0 line 336
  20. lemma OAI.MarkedH1.face_4_0_1 line 352
  21. lemma OAI.MarkedH1.face_4_0_2 line 379
  22. lemma OAI.MarkedH1.face_4_0_3 line 406
  23. lemma OAI.MarkedH1.face_4_0_4 line 433