II.T30 — Residue Theorem

The spectral trace of a tau-meromorphic function with finitely many singularities equals the sum of its residues, with both sides decomposing along bipolar channels.