Theorem Polynomial.Splits.of_natDegree_eq_zero

Modification history

2026-06-09 16:04
Mathlib/Algebra/Polynomial/Splits.lean
feat(Algebra/Polynomial): `X * f` splits iff `f` does (#40293) …
Added Polynomial.Splits.of_natDegree_eq_zeroView on Github →