Mathlib v3 is deprecated. Go to Mathlib v4

Def finite_field.ring_equiv_of_card_eq

Modification history

2021-10-23 17:11

src/field_theory/finite/galois_field.lean

feat(field_theory/finite/galois_field): finite fields with the same cardinality are isomorphic (#9834) …

Added finite_field.ring_equiv_of_card_eq View on Github →