Theorem CategoryTheory.Limits.hasColimit_of_hasLimit_op

Modification history