Commit 2022-04-12 12:36 ef8e256d
View on Github →feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366)
feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366)