Theorem SkewMonoidAlgebra.support_toFinsupp

Modification history