Commit 2023-12-22 09:27 ccbb5566

feat: local diffeomorphisms (#8736) Define local diffeomorphisms between smooth manifolds. As an auxiliary definition, we add PartialDiffeomorph, the analogue of PartialHomeomorph for diffeomorphisms. In future PRs, we will

• show that local diffeomorphisms have invertible differential
• show the converse, using the inverse function theorem: if the differential of $f$ at $x$ is invertible, $f$ is a local diffeomorphism at $x$