mathlib3

375dd53e - refactor(geometry/manifold): split `bump_function` into 3 files (#8313)

refactor(geometry/manifold): split `bump_function` into 3 files (#8313) This is the a part of #8309. Both code and comments were moved with almost no modifications: added/removed `variables`/`section`s, slightly adjusted comments to glue them together.