Theorem CategoryTheory.hasColimit_of_coreflective

Modification history