Def CategoryTheory.Limits.createsLimitsOfShapeFullSubcategoryInclusion

Modification history