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