Theorem ContinuousMultilinearMap.fin0_apply_enorm

Modification history

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