Registry · Lemma
II.L02
established
formalized
II.L02 — Refinement-Spectral Equivalence
Refinement sequence data (stage-by-stage tower values) is equivalent to spectral decomposition data (bipolar channel coefficients): each determines the other via the canonical basis expansion.
Book II
Part 6
Ch. 31