Def MonoidAlgebra.lift

Modification history