Theorem Polynomial.eval₂_gcd_eq_zero

Modification history

2023-08-10 22:19

Mathlib/Data/Polynomial/FieldDivision.lean

feat: Add a `DecidableEq` instance for `Polynomial` (#5942) …

Modified Polynomial.eval₂_gcd_eq_zero View on Github →

2023-03-24 17:26

Mathlib/Data/Polynomial/FieldDivision.lean

feat: port Data.Polynomial.FieldDivision (#3057)

Added Polynomial.eval₂_gcd_eq_zero View on Github →