Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.splits_of_map_eq_C

Modification history

2022-11-09 06:40

src/data/polynomial/splits.lean

chore(field_theory): move `polynomial.splits` to a new file (#17354) …

Modified polynomial.splits_of_map_eq_C View on Github →

2022-09-15 06:43

src/field_theory/splitting_field.lean

feat(field_theory/splitting_field): generalize `splits` for `comm_ring K` (#16405) …

Added polynomial.splits_of_map_eq_C View on Github →