mm-wigner/sm, mm: expanded theorem statements
wigner/func: refactored
mm-wigner/mm: added definition of the integral over vector
wigner/mc: refactored