Theorem Polynomial.degree_divByMonic_lt

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

2023-03-19 06:36

Mathlib/Data/Polynomial/Div.lean

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

Added Polynomial.degree_divByMonic_lt View on Github →