Theorem ContinuousLinearMap.continuousMultilinearMapOption_apply_eq_self

Modification history

2024-09-16 17:23
Mathlib/Analysis/NormedSpace/Multilinear/Curry.lean
feat: a continuous linear map into continuous multilinear maps is analytic (#16844) …
Added ContinuousLinearMap.continuousMultilinearMapOption_apply_eq_selfView on Github →