Theorem Polynomial.splits_of_degree_eq_two

Modification history

2025-12-15 11:03
Mathlib/Algebra/Polynomial/Splits.lean
refactor(Algebra/Polynomial/Splits): continue deprecation (#32818) …
Deleted Polynomial.splits_of_degree_eq_twoView on Github →
2025-04-07 10:22
Mathlib/Algebra/Polynomial/Splits.lean
feat(FieldTheory/Normal): A quadratic extension is normal (#23452)
Added Polynomial.splits_of_degree_eq_twoView on Github →