[Merged by Bors] - chore(Geometry/Manifold/Submersion): reword 'project intentions' phrase#41500

grunweg wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:reword-submersions-intentionsgrunweg/mathlib4:reword-submersions-intentionsCopy head branch name to clipboard