Theorem continuousMultilinearCurryLeftEquiv_symm_apply
Modification history
2024-09-15 13:34
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
fix: correct curry/uncurry confusion in (Continuous)MultilinearMap (#15530) …
Modified continuousMultilinearCurryLeftEquiv_symm_applyView on Github →