Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-26 14:24 f0bfb25c

View on Github →

feat(geometry/manifold/mfderiv): differentiability of f : E ≃L[𝕜] E' (#6850)

Estimated changes