Theorem SkewMonoidAlgebra.support_eq_empty

Modification history