Theorem Polynomial.reverse_mul_X

Modification history