Theorem TopCat.isIso_of_bijective_of_isClosedMap

Modification history