Theorem Polynomial.reverse_C

Modification history