Commit 2026-08-04 14:58 ce533466
View on Github →chore(RingTheory/IsGaloisGroup/Basic): automated extraction from #42430 (#42433) This PR was automatically created from PR #42430 by @vihdzp via a review comment by @grunweg.
chore(RingTheory/IsGaloisGroup/Basic): automated extraction from #42430 (#42433) This PR was automatically created from PR #42430 by @vihdzp via a review comment by @grunweg.