Structure CategoryTheory.ShortComplex

Modification history

2025-11-05 13:09
Mathlib/Algebra/Homology/ShortComplex/Basic.lean
feat(Algebra/Homology/ShortComplex): functoriality of first/second map (#31249) …
Modified CategoryTheory.ShortComplexView on Github →
2023-05-24 10:36
Mathlib/Algebra/Homology/ShortComplex/Basic.lean
feat: Algebra.Homology.ShortComplex.Basic (#4203) …
Added CategoryTheory.ShortComplexView on Github →