Theorem mvfderiv_add

Modification history

2026-05-18 11:50
Mathlib/Geometry/Manifold/MFDeriv/NormedSpace.lean
chore: rename extDerivFun to mvfderiv (#39485) …
Added mvfderiv_addView on Github →