Commit 2024-02-14 01:35 bb8fb4e4
View on Github →feat: charts are structomorphisms (#8160)
This is the ChartedSpace analogue of contMDiffOn_extChartAt and contMDiffOn_extChartAt_symm; proving this revealed a few gaps in other API. This may be useful for showing open subsets of a manifold are submanifolds.