Theorem polynomial.is_splitting_field.mul
Modification history
2023-06-05 05:15
src/field_theory/splitting_field/construction.lean
chore(field_theory/splitting_field): split file (#19154) …
Modified polynomial.is_splitting_field.mulView on Github →2022-02-08 12:43
src/field_theory/splitting_field.lean
feat(*): localized `R[X]` notation for `polynomial R` (#11895) …
Modified polynomial.is_splitting_field.mulView on Github →