Theorem Polynomial.divX_add

Modification history

2026-11-02 08:15

Mathlib/Algebra/Polynomial/Inductions.lean

refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …

Modified Polynomial.divX_add View on Github →

2023-03-09 14:54

Mathlib/Data/Polynomial/Inductions.lean

feat: port Data.Polynomial.Inductions (#2747)

Added Polynomial.divX_add View on Github →