Theorem Polynomial.support_C_mul_X_pow'

Modification history