Theorem BilinForm.sum_left

Modification history