Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_alg_closed.ring_equiv_of_cardinal_eq_of_char_eq

Modification history