Def CategoryTheory.Limits.createsColimitFullSubcategoryInclusion

Modification history