Theorem CategoryTheory.ObjectProperty.leftOrthogonal.map_bijective_of_isTriangulated

Modification history

2025-12-11 07:09
Mathlib/CategoryTheory/Triangulated/Orthogonal.lean
feat(CategoryTheory): right Bousfield localization (#32469) …
Added CategoryTheory.ObjectProperty.leftOrthogonal.map_bijective_of_isTriangulatedView on Github →