Theorem ContinuousMultilinearMap.cpolyomialOn_uncurry_of_linear

Modification history

2026-09-26 18:40
Mathlib/Analysis/Analytic/CPolynomial.lean
chore: fix misspellings in declaration names (#44049) …
Deleted ContinuousMultilinearMap.cpolyomialOn_uncurry_of_linearView on Github →
2025-10-09 08:14
Mathlib/Analysis/Analytic/CPolynomial.lean
feat: composing a continuous multilinear map with continuous linear maps is analytic in both variables (#30111)
Added ContinuousMultilinearMap.cpolyomialOn_uncurry_of_linearView on Github →