Theorem Polynomial.eval₂_zero

Modification history