Theorem TopCat.hasColimit_iff_small_colimitType

Modification history