Mathlib v3 is deprecated. Go to Mathlib v4

Theorem has_uniform_continuous_const_smul_of_continuous_const_smul

Modification history

2022-08-10 15:00
src/topology/algebra/uniform_mul_action.lean
chore(topology/algebra/uniform_mul_action): the action of a ring on itself is uniformly continuous (#15974) …
Added has_uniform_continuous_const_smul_of_continuous_const_smulView on Github →