Registry · Definition V.D338 tau-effective not_applicable

V.D338 — Internal vs Diagrammatic Viewpoint

Internal viewpoint (E1): chart-level readout of spatially extended H/He gas. Diagrammatic viewpoint (E3): structural description as finite defect pattern on compact T^2. Both describe the same boundary character data.

Book V Part 6 Ch. 48

Lean Formalization

Module:

Symbol: