Def CategoryTheory.Limits.createsLimitFullSubcategoryInclusionOfClosed

Modification history