Theorem ContinuousMultilinearMap.uncurryMid_curryMid

Modification history

2025-05-12 20:08
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
feat(*Multilinear): add `curryMid` etc (#24798)
Added ContinuousMultilinearMap.uncurryMid_curryMidView on Github →