Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.uniform_continuous_const_mul

Modification history

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