Commit 2024-11-09 07:23 53ba06be

feat: symmetry of the second derivative over R or C (#18399) We expand the API around maps with symmetric second derivatives on vector spaces, to be used in #18396 for the Lie bracket of vector fields on manifolds. We also extend the fact that C^2 maps have symmetric second derivatives, already known on the reals, to a general RCLike field.