Theorem Polynomial.sum_X_index

Modification history