Registry · Proposition IV.P78 tau-effective formalized

IV.P78 — τ-Yukawa Hierarchy

τ-Yukawa couplings satisfy strict ordering y_ν ≪ y_e < y_μ < y_τ < y_b < y_t ≈ 1. Each inequality reflects structural fibre winding or crossing proximity difference, not a tuned parameter.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.YukawaHierarchy