Theorem CategoryTheory.Limits.hasColimitsOfSize_shrink

Modification history