Theorem CategoryTheory.hasColimits_of_coreflective

Modification history