Theorem PolynomialModule.map_single

Modification history