Theorem BilinForm.isAlt_zero

Modification history