Registry · Theorem V.T279 tau-effective not_formalized

V.T279 — r/R = iota_tau from Fiber Structure

T^2 shape ratio r/R = iota_tau is tautological from the fibration: R = l_tau (fiducial length, gamma-generator), r = iota_tau * l_tau (eta-generator). QNM frequency ratio R/r = iota_tau^{-1} ~ 2.930.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module:

Symbol: