Theorem GaloisField.splits_x_pow_card_sub_x

Modification history

2023-06-24 18:07
Mathlib/FieldTheory/Finite/GaloisField.lean
chore: tidy various files (#5449)
Deleted GaloisField.splits_x_pow_card_sub_xView on Github →
2023-06-21 14:35
Mathlib/FieldTheory/Finite/GaloisField.lean
feat: port FieldTheory.Finite.GaloisField (#5139) …
Added GaloisField.splits_x_pow_card_sub_xView on Github →