Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tendsto_smul_const

Modification history

2020-02-18 12:09
src/analysis/normed_space/basic.lean
chore(topology/constructions): rename `tendsto_prod_mk_nhds` (#2008) …
Deleted tendsto_smul_constView on Github →
2019-03-01 10:20
src/analysis/normed_space/basic.lean
feat(*): add various small lemmas
Added tendsto_smul_constView on Github →