Def CategoryTheory.Pretriangulated.Triangle.π₁

Modification history

2024-02-19 20:27
Mathlib/CategoryTheory/Triangulated/Basic.lean
feat(CategoryTheory/Triangulated): more API (#10527) …
Added CategoryTheory.Pretriangulated.Triangle.π₁View on Github →