Theorem SkewMonoidAlgebra.eq_liftNC

Modification history