Theorem properSMul_iff_continuousSMul_ultrafilter_tendsto

Modification history

2024-07-28 19:58
Mathlib/Topology/Algebra/ProperAction.lean
feat: proper group actions (#11746) …
Added properSMul_iff_continuousSMul_ultrafilter_tendstoView on Github →