Theorem isProperMap_iff_ultrafilter_of_t2

Modification history

2023-08-30 16:50
Mathlib/Topology/ProperMap.lean
feat: define `ProperConstSMul` (#6675)
Added isProperMap_iff_ultrafilter_of_t2View on Github →