Def LinearMap.BilinForm.coeFnAddMonoidHom

Modification history