Theorem Polynomial.eval₂_mul_C'

Modification history