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.

Estimated changes