Theorem writtenInExtChartAt_sumSwap_eventuallyEq_id

Modification history

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