Theorem mfderiv_sumSwap

Modification history

2025-11-06 16:54
Mathlib/Geometry/Manifold/MFDeriv/SpecificFunctions.lean
feat: mfderiv of Sum.swap (#31276) …
Added mfderiv_sumSwapView on Github →