Theorem Polynomial.C_sub

Modification history