Theorem SkewMonoidAlgebra.sum_smul_index

Modification history