Theorem BilinForm.iIsOrtho.nondegenerate_iff_not_isOrtho_basis_self

Modification history