Registry · Lemma
II.L03
established
formalized
II.L03 — Spectral-Germ Equivalence
Spectral decomposition data is equivalent to germ data: knowing the spectral coefficients of a function at a point determines its omega-germ, and conversely.
Book II
Part 6
Ch. 31