Registry · Remark IV.R369 tau-effective not_applicable

IV.R369 — Compactness is essential

Quantization of the photon phase is a direct consequence of the compactness of T_pi; if the base were non-compact, alpha would not be determined; compactness of all three circles in tau^3 makes coupling constants discrete structural invariants rather than continuous parameters.

Book IV Part 4 Ch. 29

Lean Formalization

Module: