Theorem BilinForm.isSymm_neg

Modification history