Def CategoryTheory.ShortComplex.π₁Toπ₂

Modification history

2023-05-24 10:36
Mathlib/Algebra/Homology/ShortComplex/Basic.lean
feat: Algebra.Homology.ShortComplex.Basic (#4203) …
Added CategoryTheory.ShortComplex.π₁Toπ₂View on Github →