Commit 2025-10-23 23:46 e37e4dc7

feat(FieldTheory): construct extension of finite field (#30738) We develop the theory of extensions of finite fields: given any finite field k and any n > 0 there is a unique (up to in geneeral non-unique isomorphism) extension of k of degree n, which is galois with cyclic galois group generated by the (arithmetic) Frobenius map x ↦ x ^ Nat.card k.