Theorem LinearMap.BilinForm.smul_left

Modification history