Theorem cont_diff_bump_of_inner.cont_diff_normed
Modification history
2023-02-08 10:26
src/analysis/calculus/bump_function_inner.lean
feat(analysis/calculus/special_functions): refactor bump functions (#17453) …
Deleted cont_diff_bump_of_inner.cont_diff_normedView on Github →