Theorem CategoryTheory.Limits.hasColimitsOfSizeShrink

Modification history