Theorem BilinForm.isRefl_neg

Modification history