Theorem BilinForm.toMatrix'_toBilin'

Modification history