Def CategoryTheory.Limits.createsColimitFullSubcategoryInclusionOfClosed

Modification history