Theorem CategoryTheory.Limits.reflectsSmallestLimitsOfReflectsLimits

Modification history