Theorem polynomial.splitting_field_aux.exists_lift
Modification history
2023-06-15 06:31
src/field_theory/splitting_field/construction.lean
chore(field_theory/splitting_field): refactor `splitting_field` (#19178) …
Deleted polynomial.splitting_field_aux.exists_liftView on Github →