Registry · Corollary IV.R447 established not_applicable

IV.R447 — Optical Theorem

2 Im(T_ii) = Σ_f |T_fi|². Forward scattering imaginary part equals total cross section. Bookkeeping identity forced by dagger structure.

Book IV Part 8 Ch. 72

Dependency Graph

Depends on (1)

Lean Formalization

Module: