Theorem BilinForm.isAlt_neg

Modification history