Def GaloisField

Modification history

2023-09-27 21:48
Mathlib/FieldTheory/Finite/GaloisField.lean
style: fix multiple spaces before colon (#7411) …
Modified GaloisFieldView on Github →
2023-06-21 14:35
Mathlib/FieldTheory/Finite/GaloisField.lean
feat: port FieldTheory.Finite.GaloisField (#5139) …
Added GaloisFieldView on Github →