Theorem CategoryTheory.Limits.hasColimits_of_hasLimits_op

Modification history