Def QuadraticForm.evalAddMonoidHom

Modification history