Def AddMonoidAlgebra.toMultiplicativeAlgEquiv

Modification history