Theorem CategoryTheory.ObjectProperty.FullSubcategory.comp_def

Modification history