Def AddMonoidAlgebra.singleZeroAlgHom

Modification history