Theorem LinearMap.BilinForm.smul_right

Modification history