Theorem PolynomialModule.lsingle_apply

Modification history