Theorem CategoryTheory.Pretriangulated.exists_iso_of_arrow_iso

Modification history

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