Theorem CategoryTheory.Triangulated.Subcategory.ext₂

Modification history