Theorem Polynomial.Splits.of_degree_le_one_of_monic

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