Theorem PolynomialModule.comp_eval

Modification history