Theorem TopCat.isOpen_iff_of_isColimit

Modification history