Def CategoryTheory.Limits.preservesColimitsOfSizeOfUnivLE

Modification history