Theorem CategoryTheory.Limits.hasFiniteColimits_of_hasFiniteColimits_of_size

Modification history