Def AddMonoidAlgebra.toDirectSum

Modification history