Mathlib v3 is deprecated. Go to Mathlib v4

Def field.roots_of_min_poly_pi_type

Modification history