Commit 2024-12-20 23:22 5ba284dd
View on Github →feat(FieldTheory/Galois): Fundamental theorem of infinite galois theory (#16982) Prove the Fundamental theorem of infinite galois theory
feat(FieldTheory/Galois): Fundamental theorem of infinite galois theory (#16982) Prove the Fundamental theorem of infinite galois theory