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.

Estimated changes