Theorem BilinForm.toMatrix'_symm

Modification history