Theorem ContinuousMultilinearMap.uncurry0_curry0
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_curry0View on Github →2025-03-13 02:38
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
chore: whitespace again (#22878) …
Modified ContinuousMultilinearMap.uncurry0_curry0View on Github →