Mathlib v3 is deprecated. Go to Mathlib v4

Def some_cont_diff_bump_base

Modification history

2023-02-08 10:26

src/analysis/calculus/bump_function_inner.lean

feat(analysis/calculus/special_functions): refactor bump functions (#17453) …

Added some_cont_diff_bump_base View on Github →