Theorem SkewMonoidAlgebra.single_neg

Modification history