Commit 2024-03-01 13:29 697da3ff
View on Github →feat(FieldTheory/KrullTopology): topology on finite Galois group is discrete (#10841) From the FLT project.
feat(FieldTheory/KrullTopology): topology on finite Galois group is discrete (#10841) From the FLT project.