A Pretty Nice TFAE Theorem Regarding Normal Matrices Attached is a pretty nice TFAE theorem and proof regarding normal and unitary matrices. nice.