bump_function_findim): show that any open set is the support of a smooth function (#17681)

Commit

3 years ago

feat(analysis/calculus/bump_function_findim): show that any open set is the support of a smooth function (#17681)

Author

sgouezel

Parents