Theorem Polynomial.sum_C_index

Modification history