Theorem SkewMonoidAlgebra.liftNC_single

Modification history