Theorem CategoryTheory.FullSubcategory.comp_def

Modification history