Theorem BilinForm.not_nondegenerate_zero

Modification history