Theorem BilinForm.isRefl_zero

Modification history