Wigner's theorem (source code)

= Wigner's theorem
{c}
{wiki}

= Wigner theorem
{c}
{synonym}

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