Theorem SkewMonoidAlgebra.sum_smul_index'

Modification history