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 →