Theorem Polynomial.eval₂_mul_X

Modification history