Wigner theorem (source code)

= Wigner theorem
{c}
{wiki=Wigner's_theorem}

Every bijection of pure-state rays that preserves transition probabilities is induced by either a unitary or an antiunitary operator on the Hilbert space.