Commit 2021-02-15 13:26 d6db0386
View on Github →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
).