Theorem CategoryTheory.Triangulated.Subcategory.zero

Modification history