Def CategoryTheory.Limits.createsLimitFullSubcategoryInclusion'

Modification history