Theorem BilinForm.sum_repr_mul_repr_mul

Modification history