Commit 2023-11-10 15:36 c4bf273b
View on Github →feat: add zeta_sub_one_prime (#8228)
We add zeta_sub_one_prime
: in a p^(k+1)
-th cyclotomic extension ζ-1
is prime.
feat: add zeta_sub_one_prime (#8228)
We add zeta_sub_one_prime
: in a p^(k+1)
-th cyclotomic extension ζ-1
is prime.