mathlib3

c7a2d670 - refactor(analysis/calculus/specific_functions): add params to `smooth_bump_function` (#6467)

refactor(analysis/calculus/specific_functions): add params to `smooth_bump_function` (#6467) In the construction of a partition of unity we need a smooth bump function that vanishes outside of `ball x R` and equals one on `closed_ball x r` with arbitrary `0 < r < R`.