Registry · Theorem
IV.T301
tau-effective
not_formalized
IV.T301 — Koide Relation from L
The Koide ratio Q = 2/3 (Definition def:iv-koide-formula) follows from the lemniscate character structure: enumerate...
Book IV
Part 5
Ch. 36