Theorem LinearMap.BilinForm.toMatrix'_toBilin'

Modification history