Theorem SkewMonoidAlgebra.comapSMul_single

Modification history