Theorem Polynomial.hilbertPoly_poly_succ

Modification history