P
Initializing...
Gaussian pure states have nonnegative Wigner function · Prove2Me