Theorem Polynomial.reverse_mul

Modification history