Theorem LinearMap.BilinForm.mul_toMatrix'_mul

Modification history