Def LinearMap.BilinForm.IsOrtho

Modification history