Theorem Polynomial.eq_one_of_monic_natDegree_zero

Modification history

2024-11-15 09:38
Mathlib/Algebra/Polynomial/Degree/Definitions.lean
chore(Algebra/Polynomial/Degree): split `Definitions.lean` (#19038) …
Modified Polynomial.eq_one_of_monic_natDegree_zeroView on Github →
2023-09-14 07:53
Mathlib/Data/Polynomial/Degree/Definitions.lean
feat: expand API for `Polynomial.divX` and some related results (#6428) …
Added Polynomial.eq_one_of_monic_natDegree_zeroView on Github →