Theorem Polynomial.splits_mul_iff_left

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