Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-20 13:23 5223e262

View on Github →

feat(field_theory/finite/galois_field): uniqueness of finite fields (#9817) Every finite field is isomorphic to some Galois field. Closes #9599

Estimated changes

modified theorem finite_field.card'