Registry · Remark IV.R211 tau-effective formalized

IV.R211 — One constant to rule them all

The central claim of Book IV is that iota_tau is the single generator of all physical constants: C_phys subset Q(iota_tau). Every coupling constant, mass ratio, and mixing angle is a rational function of iota_tau. There are zero free parameters.

Book IV Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.OneConstantToRuleThemAll