Theorem SkewMonoidAlgebra.comapSMul_def

Modification history