def definition def or abbrev

`TBM_theta13`

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

formal statement (Lean)

 116noncomputable def TBM_theta13 : ℝ := 0

proof body

Definition body.

 117
 118/-- **Hypothesis 5: Golden Ratio Mixing (GRM)**
 119
 120    sin²θ₁₂ = (2 + φ)⁻¹ = 1/3.618 ≈ 0.276
 121
 122    Or alternatively:
 123    sin θ₁₂ = 1/√(1 + φ²) = 0.526
 124    sin²θ₁₂ = 0.277
 125
 126    Still ~10% from observed. -/

depends on (2)

Lean names referenced from this declaration's body.

Hypothesis in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use