Def MonoidAlgebra.singleOneAlgHom

Modification history