Def QuadraticMap.evalAddMonoidHom

Modification history