Theorem SkewMonoidAlgebra.support_zero

Modification history