Theorem Polynomial.reverse_C_add

Modification history