Theorem ContinuousMultilinearMap.curryFinFinset_apply
Modification history
2024-10-23 02:43
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
chore: use newly introduced finset notation (#17974) …
Modified ContinuousMultilinearMap.curryFinFinset_applyView on Github →