Def CategoryTheory.Pretriangulated.isoTriangleOfIso₁₂

Modification history

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