Def CategoryTheory.Limits.createsLimitFullSubcategoryInclusion

Modification history