feat(FieldTheory/Galois/IsGaloisGroup): add IsGaloisGroup.of_isScalarTower' for towers of domains#40866

xroblot wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

xroblot:isgaloisgroup-fixingsubgroup-towerxroblot/mathlib4:isgaloisgroup-fixingsubgroup-towerCopy head branch name to clipboard