Theorem Polynomial.coeff_prod_mem_ideal_pow_tsub

Modification history