Mathlib v3 is deprecated. Go to Mathlib v4

Def alg_equiv.adjoin_singleton_equiv_adjoin_root_minpoly

Modification history

2022-11-09 06:40
src/field_theory/splitting_field.lean
chore(field_theory): move `polynomial.splits` to a new file (#17354) …
Modified alg_equiv.adjoin_singleton_equiv_adjoin_root_minpolyView on Github →
2021-01-17 00:33
src/field_theory/splitting_field.lean
chore(field_theory|ring_theory|linear_algebra): rename minimal_polynomial to minpoly (#5771) …
Added alg_equiv.adjoin_singleton_equiv_adjoin_root_minpolyView on Github →