Theorem CategoryTheory.hasColimit_of_created

Modification history