Def CategoryTheory.ShortComplex.gFunctor

Modification history

2025-11-05 13:09

Mathlib/Algebra/Homology/ShortComplex/Basic.lean

feat(Algebra/Homology/ShortComplex): functoriality of first/second map (#31249) …

Added CategoryTheory.ShortComplex.gFunctor View on Github →