Theorem CategoryTheory.Triangulated.Subcategory.mem_W_iff_of_distinguished

Modification history

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.mem_W_iff_of_distinguishedView on Github →