Mathlib v3 is deprecated. Go to Mathlib v4

Def polynomial.is_splitting_field.alg_equiv

Modification history