Commit 2024-10-04 14:05 616c3bfe
View on Github →chore(Analytic/CPolynomial): move&generalize some lemmas (#17390)
We already have continuity of evaluation of a continuous multilinear map in both variables,
no need to deduce it again from Analytic*.
As a side effect, use weaker typeclass assumptions (TVS instead of a normed space)
for some arguments.