Theorem PolynomialModule.single_apply

Modification history