Def LocallyConstant.evalRingHom

Modification history