Registry · Proposition IV.P03 tau-effective formalized

IV.P03 — Power Hierarchy

Power hierarchy: κ(B;2) = κ(A;1)² (EM = Weak squared) and κ(A,C) = κ(A;1)³ (Weak-Strong = Weak cubed). The coupling tower is a pure power series in the master constant ι_τ.

Book IV Part 1 Ch. 1

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Sectors.CouplingFormulas

Symbol: Tau.BookIV.Sectors.em_is_weak_squared