Theorem minpoly.algebraMap_eq

Modification history

2023-09-18 04:21
Mathlib/FieldTheory/Minpoly/Basic.lean
chore: replace `minpoly.eq_of_algebraMap_eq` by `algebraMap_eq` (#7228) …
Added minpoly.algebraMap_eqView on Github →