Commit 2022-04-21 11:02 9f22a367
View on Github →feat(src/number_theory/cyclotomic/discriminant): add discr_prime_pow_ne_two (#13465)
We add discr_prime_pow_ne_two, the discriminant of the p^n-th cyclotomic field.
From flt-regular
feat(src/number_theory/cyclotomic/discriminant): add discr_prime_pow_ne_two (#13465)
We add discr_prime_pow_ne_two, the discriminant of the p^n-th cyclotomic field.
From flt-regular