mathlib3

d6db0386 - refactor(analysis/normed_space/multilinear): use `≃ₗᵢ` for `curry` equivs (#6232)

refactor(analysis/normed_space/multilinear): use `≃ₗᵢ` for `curry` equivs (#6232) Also copy some `continuous_linear_equiv` API to `linear_isometry_equiv` (e.g., all API in `analysis.calculus.fderiv`).