Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eventually_nhds_norm_smul_sub_lt

Modification history

2021-03-14 00:42
src/analysis/normed_space/basic.lean
feat(analysis/calculus/tangent_cone): add `unique_diff_on.pi` (#6577)
Added eventually_nhds_norm_smul_sub_ltView on Github →