Nondegenerate energy eigenvalue (source code)

= Nondegenerate energy eigenvalue

An <energy eigenvalue> is nondegenerate when its <eigenspace> is one-dimensional. Its normalized <eigenstate> is then unique up to a complex phase.