Theorem CategoryTheory.Triangulated.Subcategory.ext₃

Modification history