Theorem CategoryTheory.Limits.preservesSmallestLimitsOfPreservesLimits

Modification history