Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.smul_comp

Modification history

2022-04-16 16:18

src/data/polynomial/eval.lean

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

Added polynomial.smul_comp View on Github →