Theorem SkewMonoidAlgebra.sum_zero

Modification history