Theorem SkewMonoidAlgebra.mul_def

Modification history