Prove unitary matrices require orthonormal basis

Printable View