Theorem SkewMonoidAlgebra.toFinsupp_smul

Modification history