Theorem hasMFDerivAt_sumSwap

Modification history

2025-11-06 16:54

Mathlib/Geometry/Manifold/MFDeriv/SpecificFunctions.lean

feat: mfderiv of Sum.swap (#31276) …

Added hasMFDerivAt_sumSwap View on Github →