Theorem LinearMap.BilinForm.isSymm_iff_basis

Modification history