Theorem BilinForm.smul_left_of_tower

Modification history