Theorem BilinForm.zero_right

Modification history