Theorem isProperMap_iff_isCompact_preimage

Modification history