Theorem LinearMap.BilinForm.isOrtho_smul_left

Modification history