Theorem TopCat.isOpen_iff_of_isColimit_cofork

Modification history