mathlib
ef8e256d - feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366)

Commit

3 years ago

feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366) Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents

5534e246

mathlib ef8e256d - feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366)

mathlib
ef8e256d - feat(number_theory/cyclotomic): alg-closed fields are cyclotomic extensions over themselves (#13366)