Theorem Polynomial.natDegree_divX_eq_natDegree_tsub_one

Modification history

2023-09-14 07:53
Mathlib/Data/Polynomial/Inductions.lean
feat: expand API for `Polynomial.divX` and some related results (#6428) …
Added Polynomial.natDegree_divX_eq_natDegree_tsub_oneView on Github →