Theorem Polynomial.eval₂_modByMonic_eq_self_of_root

Modification history

2026-03-02 13:09

Mathlib/Algebra/Polynomial/Div.lean

chore: remove extra monic hypotheses from divByMonic and modByMonic lemmas (#31817)

Modified Polynomial.eval₂_modByMonic_eq_self_of_root View on Github →

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

feat: port Data.Polynomial.Div (#2975)

Added Polynomial.eval₂_modByMonic_eq_self_of_root View on Github →