Theorem TopCat.isIso_of_bijective_of_isOpenMap

Modification history