Theorem LinearMap.BilinForm.sub_left

Modification history