Theorem CategoryTheory.Limits.hasColimits_of_hasLimits_of_isCoseparating

Modification history