Mathlib v3 is deprecated. Go to Mathlib v4

Theorem galois_field.splits_X_pow_card_sub_X

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.splits_X_pow_card_sub_X View on Github →