Mathlib v3 is deprecated. Go to Mathlib v4

Def galois_field.alg_equiv_galois_field

Modification history

2021-10-20 13:23
src/field_theory/finite/galois_field.lean
feat(field_theory/finite/galois_field): uniqueness of finite fields (#9817) …
Added galois_field.alg_equiv_galois_fieldView on Github →