Theorem LinearMap.BilinForm.toMatrix'_symm

Modification history