Theorem Polynomial.reverse_add_C

Modification history