[Merged by Bors] - refactor(FieldTheory/Galois/IsGaloisGroup): generalize mulEquivAlgEquiv to domains#40822

tb65536 wants to merge 10 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_2947tb65536/mathlib4:tb_2947Copy head branch name to clipboard