OAI/GroupTheory/SimpleAmenable/Homology/MarkedGradedFinite.lean

GitHub source file

51 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MarkedH1.primitive_transport line 12
  2. def OAI.MarkedH1.s00 line 17
  3. lemma OAI.MarkedH1.words00 line 19
  4. lemma OAI.MarkedH1.label00 line 27
  5. lemma OAI.MarkedH1.primitive00 line 33
  6. lemma OAI.MarkedH1.image00 line 40
  7. def OAI.MarkedH1.s10 line 47
  8. lemma OAI.MarkedH1.words10 line 49
  9. lemma OAI.MarkedH1.label10 line 56
  10. lemma OAI.MarkedH1.primitive10 line 62
  11. lemma OAI.MarkedH1.image10 line 69
  12. def OAI.MarkedH1.s01 line 76
  13. lemma OAI.MarkedH1.words01 line 78
  14. lemma OAI.MarkedH1.label01 line 85
  15. lemma OAI.MarkedH1.primitive01 line 91
  16. lemma OAI.MarkedH1.image01 line 98
  17. def OAI.MarkedH1.s20 line 105
  18. lemma OAI.MarkedH1.words20 line 107
  19. lemma OAI.MarkedH1.label20 line 114
  20. lemma OAI.MarkedH1.primitive20 line 120
  21. lemma OAI.MarkedH1.image20 line 127
  22. def OAI.MarkedH1.s11 line 135
  23. lemma OAI.MarkedH1.words11 line 137
  24. lemma OAI.MarkedH1.label11 line 144
  25. lemma OAI.MarkedH1.primitive11 line 150
  26. lemma OAI.MarkedH1.image11 line 157
  27. def OAI.MarkedH1.s02 line 165
  28. lemma OAI.MarkedH1.words02 line 167
  29. lemma OAI.MarkedH1.label02 line 174
  30. lemma OAI.MarkedH1.primitive02 line 180
  31. lemma OAI.MarkedH1.image02 line 187
  32. def OAI.MarkedH1.s30 line 194
  33. lemma OAI.MarkedH1.words30 line 196
  34. lemma OAI.MarkedH1.label30 line 203
  35. lemma OAI.MarkedH1.primitive30 line 209
  36. lemma OAI.MarkedH1.image30 line 216
  37. def OAI.MarkedH1.s21 line 224
  38. lemma OAI.MarkedH1.words21 line 226
  39. lemma OAI.MarkedH1.label21 line 233
  40. lemma OAI.MarkedH1.primitive21 line 239
  41. lemma OAI.MarkedH1.image21 line 246
  42. def OAI.MarkedH1.s12 line 254
  43. lemma OAI.MarkedH1.words12 line 256
  44. lemma OAI.MarkedH1.label12 line 263
  45. lemma OAI.MarkedH1.primitive12 line 269
  46. lemma OAI.MarkedH1.image12 line 276
  47. def OAI.MarkedH1.s03 line 283
  48. lemma OAI.MarkedH1.words03 line 285
  49. lemma OAI.MarkedH1.label03 line 292
  50. lemma OAI.MarkedH1.primitive03 line 298
  51. lemma OAI.MarkedH1.image03 line 305