Theorem PolynomialModule.eval_map

Modification history