Def CategoryTheory.ObjectProperty.fullSubcategoryCongr

Modification history