Theorem SkewMonoidAlgebra.liftNC_one

Modification history