Theorem SkewMonoidAlgebra.liftNC_mul

Modification history