Theorem ContinuousMultilinearMap.uncurry0_apply
Modification history
2026-10-13 19:23
Mathlib/Analysis/Normed/Module/Multilinear/Curry.lean
chore(Analysis/Normed): generalize `ContinuousMultilinearMap.curry0` to TVS (#44321) …
Modified ContinuousMultilinearMap.uncurry0_applyView on Github →2024-09-15 13:34
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
fix: correct curry/uncurry confusion in (Continuous)MultilinearMap (#15530) …
Modified ContinuousMultilinearMap.uncurry0_applyView on Github →