Theorem LinearMap.BilinForm.toMatrix'_compLeft

Modification history