Theorem Polynomial.modByMonic_add_div

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.modByMonic_add_div View on Github →

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

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

Added Polynomial.modByMonic_add_div View on Github →