Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Triangulated.Subcategory.respectsIso_W
Modification history
2024-07-05 06:46
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
chore: make MorphismProperty.RespectsIso a typeclass (#14353) …
Deleted
CategoryTheory.Triangulated.Subcategory.respectsIso_W
View on Github →
2024-06-04 08:15
Mathlib/CategoryTheory/Triangulated/Subcategory.lean
feat(CategoryTheory): the class of morphisms whose cone belongs to a triangulated subcategory (#11789) …
Added
CategoryTheory.Triangulated.Subcategory.respectsIso_W
View on Github →