Mathlib v3 is deprecated. Go to Mathlib v4

Theorem char_p_of_prime_pow_injective

Modification history