Theorem LinearMap.BilinForm.smul_right_of_tower

Modification history