Def SkewMonoidAlgebra.toFinsuppLinearEquiv

Modification history