Theorem Polynomial.eval₂_X_mul

Modification history