Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.uniform_continuous_mul_const

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) …
Deleted real.uniform_continuous_mul_constView on Github →
2018-01-19 17:05
analysis/real.lean
feat(analysis/real): swap out the definition of real, shorten proofs
Added real.uniform_continuous_mul_constView on Github →