Theorem Continuous.isProperMap

Modification history