Theorem TopCat.continuous_iff_of_isColimit

Modification history