Def LocallyConstant.evalMonoidHom

Modification history