Theorem Polynomial.cyclotomic.irreducible_rat

Modification history