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