Commit 2022-05-04 15:53 552a4709
View on Github →feat(number_theory/cyclotomic/rat): the ring of integers of cyclotomic fields. (#13585)
We compute the ring of integers of a p ^ n-th cyclotomic extension of ℚ.
From flt-regular
feat(number_theory/cyclotomic/rat): the ring of integers of cyclotomic fields. (#13585)
We compute the ring of integers of a p ^ n-th cyclotomic extension of ℚ.
From flt-regular