Commit 2025-02-16 19:46 6b9635fe
View on Github →feat: regularity of the pullback of a vector field on a manifold (#20853)
We show that the pullback of a C^m vector field on a manifold under a C^{m+1} map with invertible derivative is C^m.
feat: regularity of the pullback of a vector field on a manifold (#20853)
We show that the pullback of a C^m vector field on a manifold under a C^{m+1} map with invertible derivative is C^m.