Theorem Polynomial.support_C_mul_X'

Modification history