Registry · Proposition IV.P79 tau-effective formalized

IV.P79 — Framework Comparison

Free parameter count: Standard Model ~19, MSSM ~105+, Category τ = 0. All SM parameters derived from ι_τ = 2/(π+e). Einstein's dream of no arbitrary constants realized.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.FrameworkComparison