Theorem Normal.minpoly_eq_iff_mem_orbit

Modification history

2023-11-02 16:15
Mathlib/FieldTheory/Normal.lean
feat: Galois orbits in a normal extension are determined by minimal polynomials (#8028) …
Added Normal.minpoly_eq_iff_mem_orbitView on Github →