Theorem LinearMap.BilinForm.isOrtho_smul_right

Modification history