Registry · Remark V.R13 tau-effective not_applicable

V.R13 — Why ``circle''?

The term "circle" for tau^1 refers not to a smooth S^1 manifold but to two structural features: compactness (every open cover has a finite subcover, ensuring bounded physical time) and the profinite inverse-limit topology of a totally disconnected compact Hausdorff space.

Book V Part 1 Ch. 4

Lean Formalization

Module: