Skip to content

Update GaloisRamification/ToMathlib/IsGalois.lean #12

Update GaloisRamification/ToMathlib/IsGalois.lean

Update GaloisRamification/ToMathlib/IsGalois.lean #12