Features of time-independent Wigner functions

Features of time-independent Wigner functions