Def CategoryTheory.Limits.createsColimitsOfShapeFullSubcategoryInclusion

Modification history