feat: improve doc-strings for differential geometry elaborators#39677

grunweg wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

grunweg:mvfderiv-better-docsgrunweg/mathlib4:mvfderiv-better-docsCopy head branch name to clipboard