Def Polynomial.hasSMulPi

Modification history