Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.is_root.eq_zero

Modification history

2021-11-19 08:56

src/data/polynomial/eval.lean

feat(data/polynomial/eval): is_root_(prod/map) (#10360)

Added polynomial.is_root.eq_zero View on Github →