Wigner's theorem (source code)

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