Theorem UniformInducing.uniformContinuousConstSMul

Modification history

2024-10-08 15:03
Mathlib/Topology/Algebra/UniformMulAction.lean
chore: Rename `UniformInducing` to `IsUniformInducing` (#17398) …
Deleted UniformInducing.uniformContinuousConstSMulView on Github →
2024-01-14 18:19
Mathlib/Topology/Algebra/UniformMulAction.lean
feat: action on `UniformOnFun` is uniformly continuous (#9714) …
Added UniformInducing.uniformContinuousConstSMulView on Github →