Def CategoryTheory.Limits.createsColimitFullSubcategoryInclusion'

Modification history