Theorem Polynomial.reverse_X_mul

Modification history