Def SkewMonoidAlgebra.comapSMul

Modification history