Theorem isProperMap_iff_isClosedMap_ultrafilter

Modification history