Theorem SkewMonoidAlgebra.toFinsupp_neg

Modification history