Theorem BilinForm.smul_right_of_tower

Modification history