Theorem isProperMap_iff_tendsto_cocompact

Modification history