Theorem LaurentPolynomial.involutive_invert

Modification history