Theorem ContinuousMultilinearMap.curry0_uncurry0
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.curry0_uncurry0View on Github →