Theorem TopCat.isClosed_iff_of_isColimit

Modification history