Def MonoidAlgebra.ofMagma

Modification history