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