feat(FieldTheory/IntermediateField): adjoining a shifted or scaled generator#41649

xroblot wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

xroblot:adjoin_shift_generatorxroblot/mathlib4:adjoin_shift_generatorCopy head branch name to clipboard