Def SkewMonoidAlgebra.liftNCRingHom

Modification history