Def MonoidAlgebra.singleOneRingHom

Modification history