Theorem Polynomial.eval₂_nat_cast

Modification history