def
definition
lepton_hierarchy
show as:
view math explainer →
open explainer
Generate a durable explainer page for this declaration.
open lean source
IndisputableMonolith.Physics.Hierarchy on GitHub at line 34.
browse module
All declarations in this module, on Recognition.
explainer page
depends on
used by
formal source
31 delta2 : ℝ
32
33/-- Lepton Hierarchy: Δ₁ = 11, Δ₂ = 6. -/
34def lepton_hierarchy : GenerationStructure := {
35 delta1 := 11
36 delta2 := 6
37}
38
39/-- Quark Hierarchy (Quarter-Ladder):
40 Top -> Bottom -> Charm -> Strange.
41 Note: These steps are from the 'Deep Ladder' mapping. -/
42def quark_hierarchy : GenerationStructure := {
43 delta1 := (step_top_bottom : ℝ)
44 delta2 := (step_bottom_charm : ℝ)
45}
46
47/-- **THEOREM: Hierarchy Coherence**
48 The lepton and quark hierarchies are both sub-structures of the same
49 8-tick recognition cycle. -/
50theorem hierarchy_coherence :
51 lepton_hierarchy.delta1 = 11 ∧
52 quark_hierarchy.delta1 = 7.75 := by
53 constructor
54 · rfl
55 · unfold quark_hierarchy step_top_bottom; norm_num
56
57end Hierarchy
58end Physics
59end IndisputableMonolith