Theorem LinearMap.BilinForm.sum_left

Modification history