Registry · Remark IV.R11 tau-effective formalized

IV.R11 — √3 Triad

Same √3 in 3 formulas: (1) R₀ correction, (2) δ_A/m_n = (√3/2)·ι_τ⁶, (3) α_G = α¹⁸·√3·κ. R correction is tau-effective; δ_A and α_G conjectural.

Book IV Part 3 Ch. 23

Dependency Graph

Depends on (1)

IV.D43

Lean Formalization

Module: TauLib.BookIV.Physics.LemniscateCapacity

Symbol: Tau.BookIV.Physics.Sqrt3Triad