Theorem BilinForm.exists_orthogonal_basis

Modification history