pith. machine review for the scientific record. sign in
def definition def or abbrev

bestCabibboFit

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

 136noncomputable def bestCabibboFit : ℝ := hypothesis6

proof body

Definition body.

 137
 138/-! ## The 8-Tick Phase Structure -/
 139
 140/-- The three generations of quarks correspond to three 8-tick phase sectors.
 141
 142    Generation 1: phases 0, π (up, down)
 143    Generation 2: phases π/2, 3π/2 (charm, strange)
 144    Generation 3: phases π/4, 5π/4 (top, bottom)
 145
 146    Mixing occurs between adjacent phase sectors.
 147    The mixing angle is determined by the phase separation. -/

depends on (27)

Lean names referenced from this declaration's body.