Theorem BilinForm.smul_right

Modification history