Theorem CategoryTheory.Limits.hasColimit_op_of_hasLimit

Modification history