Theorem LinearMap.BilinForm.sum_apply

Modification history