Registry · Proposition IV.P211 tau-effective skeleton

IV.P211 — Quark-Lepton Exponent Symmetry

Approximate quark-lepton conjugation: β_t+β_e≈0.22 (near conjugate); b/μ and c/τ pairs deviate due to confinement corrections ∝κ(C;3). Quarks wind with negative exponents (high mass), leptons positive (low mass). Fiber-base duality.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.quark_lepton_symmetry