Registry · Definition IV.D397 established not_applicable

IV.D397 — S-Matrix Decomposition

S = 1 + iT where T is the transition matrix encoding all non-trivial interactions.

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: