Registry · Remark V.R83 tau-effective not_applicable

V.R83 — Why iota_tau^2, not iota_tau

The gravitational constant involves iota_tau^2 (not iota_tau) because the coupling arises from the area of the fiber torus cross-section (r^2 ~ iota_tau^2), reflecting the two-dimensional nature of the fiber T^2.

Book V Part 2 Ch. 16

Lean Formalization

Module: