Theorem LinearMap.BilinForm.isSymm_def

Modification history