Theorem Polynomial.coeff_divByMonic_mem_pow_natDegree_mul

Modification history