Theorem Polynomial.reverse_X_pow_mul

Modification history