Theorem Polynomial.eval₂_sub

Modification history