Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-16 16:18 874dde52

View on Github →

feat(data/polynomial/eval): generalize smul lemmas (#13479)

Estimated changes

Modified src/data/polynomial/eval.lean

modified theorem polynomial.eval_smul

added theorem polynomial.smul_comp

Modified src/topology/continuous_function/polynomial.lean