def definition def or abbrev

`phi_prediction_theta13`

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

formal statement (Lean)

 104noncomputable def phi_prediction_theta13 : ℝ := phi / 100

proof body

Definition body.

 105
 106/-- **Hypothesis 4: Tribimaximal mixing (TBM) + corrections**
 107
 108    TBM predicts:
 109    - sin²θ₁₂ = 1/3 = 0.333
 110    - sin²θ₂₃ = 1/2 = 0.5
 111    - sin²θ₁₃ = 0 (wrong!)
 112
 113    Reality deviates from TBM by φ-corrections. -/

depends on (3)

Lean names referenced from this declaration's body.

Hypothesis in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D decl_use
predicts in IndisputableMonolith.Decision.AbileneParadox decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use