Theorem Polynomial.cyclotomic_expand_eq_cyclotomic_mul

Modification history