Def LinearMap.BilinForm.IsSelfAdjoint

Modification history