Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_primitive_root.zmod_equiv_zpowers_symm_apply_zpow

Modification history