Registry · Remark III.R09 tau-effective not_applicable

III.R09 — Complete Spectral Vocabulary

Inventory of all 9 earned spectral tools: primorial ladder, CRT, Hensel lifting, local fields, adelic embedding, Label_n, spectral trichotomy, boundary normal form, B/C non-collapse.

Book III Part 3 Ch. 20

Dependency Graph

Depends on (9)

III.D19 III.T10 III.T11 III.D21 III.T12 III.D23 III.T14 III.D24 III.T15

Depended on by (1)

III.R11

Lean Formalization

Module:

Symbol: