Def CategoryTheory.ShortComplex.moduleCatToCycles

Modification history

2025-06-13 18:23
Mathlib/Algebra/Homology/ShortComplex/ModuleCat.lean
feat(RepresentationTheory/GroupCohomology): extra lemmas (#25815) …
Deleted CategoryTheory.ShortComplex.moduleCatToCyclesView on Github →
2024-12-05 09:31
Mathlib/Algebra/Homology/ShortComplex/ModuleCat.lean
refactor(Algebra/Category/ModuleCat): make `ModuleCat.Hom` a structure (#19511) …
Modified CategoryTheory.ShortComplex.moduleCatToCyclesView on Github →
2023-11-10 13:09
Mathlib/Algebra/Homology/ShortComplex/ModuleCat.lean
feat: homology of short complexes of modules (#8174)
Added CategoryTheory.ShortComplex.moduleCatToCyclesView on Github →