Def FreeAlgebra.Pre.hasSMul

Modification history