Revision #2315 → #2961 · back to history
addedCompact operators are closure of finite-rank operators551348db1df7
addedSemi-unitary matrix2d6cf7620a02
addedUnitary matrix27a40d1c2ad4
addedOrthogonal matrix58eac48eeb08
addedConjugate transposece60eee613bc
addedRank-nullity theorem40aff03b4009
addedExtreme value theorem5e294e41bca2
addedLagrange multipliersc6de2e935bc9