Def CategoryTheory.ShortComplex.op

Modification history

2023-05-24 10:36

Mathlib/Algebra/Homology/ShortComplex/Basic.lean

feat: Algebra.Homology.ShortComplex.Basic (#4203) …

Added CategoryTheory.ShortComplex.op View on Github →