Def QuadraticForm.coeFnAddMonoidHom

Modification history