Def LinearMap.BilinForm.toQuadraticFormAddMonoidHom

Modification history