Def CategoryTheory.Limits.preservesLimitsOfSizeOfUnivLE

Modification history