Theorem CategoryTheory.Limits.hasLimits_of_hasColimits_op

Modification history