Registry · Remark IV.R157 tau-effective not_applicable

IV.R157 — Why clopen matters

The clopen property means every cylinder is both an open neighborhood (accessible by local data) and a closed set (stable under limits), so no continuum approximation is needed; this structurally avoids the UV and IR divergences of continuum field theories.

Book IV Part 7 Ch. 52

Lean Formalization

Module:

Symbol: