Theorem Polynomial.hilbertPoly_X_pow_succ

Modification history