Theorem Polynomial.splits_mul_X

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_mul_XView on Github →