Theorem BilinForm.toMatrix'_mul

Modification history