feat(Geometry/Manifold): API for extended coordinate changes#35391

peabrainiac wants to merge 3 commits intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

peabrainiac:extCoordChangepeabrainiac/mathlib4:extCoordChangeCopy head branch name to clipboard