Theorem Polynomial.reverse_leadingCoeff

Modification history