Mathlib v3 is deprecated. Go to Mathlib v4

Theorem minpoly_primitive_root_eq_cyclotomic

Modification history