Theorem Polynomial.eval_multisetSum

Modification history

2025-10-01 21:33
Mathlib/Algebra/Polynomial/Eval/Defs.lean
feat: prove Gauss-Lucas theorem (#29630) …
Added Polynomial.eval_multisetSumView on Github →