Theorem LinearMap.BilinForm.smul_left_of_tower

Modification history