Def LinearMap.BilinForm.Nondegenerate

Modification history