Theorem UniformInducing.uniformContinuousConstSMul

Modification history

2024-01-14 18:19
Mathlib/Topology/Algebra/UniformMulAction.lean
feat: action on `UniformOnFun` is uniformly continuous (#9714) …
Added UniformInducing.uniformContinuousConstSMulView on Github →