OAI/Algebra/AuslanderReiten/Stable/StableHomology.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ArExplicit.StableHomology.precomp line 17
  2. theorem OAI.ArExplicit.StableHomology.precomp_comp line 23
  3. abbrev OAI.ArExplicit.StableHomology.Cokernel line 29
  4. def OAI.ArExplicit.StableHomology.cycleToMap line 31
  5. theorem OAI.ArExplicit.StableHomology.cycleToMap_mkQ line 38
  6. def OAI.ArExplicit.StableHomology.cyclesToStable line 42
  7. theorem OAI.ArExplicit.StableHomology.cyclesToStable_surjective line 61
  8. theorem OAI.ArExplicit.StableHomology.cyclesToStable_kernel line 77
  9. def OAI.ArExplicit.StableHomology.homologyStableEquiv line 111
  10. theorem OAI.ArExplicit.StableHomology.homologyStableEquiv_mk line 120
  11. def OAI.ArExplicit.StableHomology.mapToCycle line 127
  12. theorem OAI.ArExplicit.StableHomology.cyclesToStable_mapToCycle line 136