Theorem Polynomial.monic_X_pow_sub

Modification history