Theorem CategoryTheory.IsTriangulated.mk'

Modification history

2024-02-19 20:27
Mathlib/CategoryTheory/Triangulated/Triangulated.lean
feat(CategoryTheory/Triangulated): more API (#10527) …
Added CategoryTheory.IsTriangulated.mk'View on Github →