Def CategoryTheory.Triangulated.Subcategory.isoClosure

Modification history