Theorem PolynomialModule.comp_single

Modification history