Def LinearMap.BilinForm.IsPairSelfAdjoint

Modification history