Wigner–Araki–Yanase theorem (source code)

= Wigner–Araki–Yanase theorem
{wiki=Wigner–Araki–Yanase_theorem}