Commit 2025-05-08 20:56 6d8d9720
View on Github →feat: differential of a local diffeomorphism is a continuous linear equivalence (#8738)
With the localInverse definition, this is a straightforward argument using the chain rule.
feat: differential of a local diffeomorphism is a continuous linear equivalence (#8738)
With the localInverse definition, this is a straightforward argument using the chain rule.