Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-23 17:11 1ebea893

View on Github →

feat(field_theory/finite/galois_field): finite fields with the same cardinality are isomorphic (#9834) Added the isomorphism of finite fields of the same cardinality.

Estimated changes