Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-19 08:56 5000fb02

View on Github →

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

Estimated changes

Modified src/data/polynomial/eval.lean

added theorem polynomial.is_root.eq_zero

added theorem polynomial.is_root.map

added theorem polynomial.is_root.of_map

added theorem polynomial.is_root_map_iff

added theorem polynomial.is_root_prod