Commit 2025-01-30 19:40 e9e7b898
View on Github →feat(FieldTheory): F⟮a⟯ = F⟮a ^ q ^ n⟯ in ExpChar q for separable a (#21249)
Add special cases of existing results for simple adjoin.
feat(FieldTheory): F⟮a⟯ = F⟮a ^ q ^ n⟯ in ExpChar q for separable a (#21249)
Add special cases of existing results for simple adjoin.