Def BilinForm.toQuadraticFormAddMonoidHom

Modification history