Theorem CategoryTheory.Limits.hasLimitsOfSizeOfUnivLE

Modification history