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

dimensionToGeneration

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)

 102def dimensionToGeneration : Fin 3 → Generation
 103  | 0 => Generation.first
 104  | 1 => Generation.second
 105  | 2 => Generation.third
 106
 107/-! ## Mass Hierarchy -/
 108
 109/-- The mass hierarchy between generations scales as φ.
 110    m₃/m₂ ≈ m₂/m₁ ≈ φ (roughly) -/

depends on (7)

Lean names referenced from this declaration's body.