Theorem LinearMap.BilinForm.iIsOrtho.not_isOrtho_basis_self_of_nondegenerate

Modification history