Theorem Polynomial.cyclotomic_prime_pow_eq_geom_sum

Modification history