Theorem LinearMap.BilinForm.isSymm_iff

Modification history