Theorem CategoryTheory.Triangulated.Subcategory.W.mk'

Modification history