Theorem SkewMonoidAlgebra.ofFinsupp_smul

Modification history