Theorem LaurentPolynomial.eval₂_toLaurent

Modification history