Registry · Definition II.D43 established formalized

II.D43 — Residue

The split-complex residue extracted from the n = -1 Laurent coefficients. The bipolar residue decomposes into independent +/- channel contributions.

Book II Part 6 Ch. 34

Dependency Graph

Depends on (4)

II.D42 I.D21 I.T10 II.D35

Depended on by (2)

II.D44 II.T30

Lean Formalization

Module: TauLib.BookII.Hartogs.LaurentResidue

Symbol: tau_residue