Theorem LinearMap.BilinForm.sum_repr_mul_repr_mul

Modification history