Theorem SkewMonoidAlgebra.ofFinsupp_neg

Modification history