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
.