[Merged by Bors] - chore(Geometry/Manifold): make some doc-strings follow the style guide#39729

grunweg wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:diffgeo-docstrings-preelaboratorsgrunweg/mathlib4:diffgeo-docstrings-preelaboratorsCopy head branch name to clipboard