Theorem Polynomial.eval₂_smul

Modification history

2024-11-15 15:51

Mathlib/Algebra/Polynomial/Eval/Defs.lean

chore(Algebra/Polynomial): split `Eval.lean` into smaller files (#19036) …

Modified Polynomial.eval₂_smul View on Github →

2023-03-08 11:35

Mathlib/Data/Polynomial/Eval.lean

feat: port Data.Polynomial.Eval (#2645)

Added Polynomial.eval₂_smul View on Github →