Theorem continuousMultilinearCurryFin0_symm_apply_apply

Modification history

2026-03-05 13:43
Mathlib/Analysis/Normed/Module/Multilinear/Curry.lean
feat: two lemmas about ContinuousMultilinearMap (#36188) …
Added continuousMultilinearCurryFin0_symm_apply_applyView on Github →