Theorem Polynomial.cyclotomic_expand_eq_cyclotomic

Modification history