Theorem Polynomial.unique_int_coeff_of_cycl

Modification history