2024-09-20: Orthogonality, eigenvectors, positive definiteness and semidefiniteness
Completion requirements
Click l2.pdf link to view the file.