def definition def or abbrev

`sin2_theta23_observed`

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

formal statement (Lean)

  49noncomputable def sin2_theta23_observed : ℝ := 0.545

Definition body.

  50
  51/-- The reactor mixing angle θ₁₃ ≈ 8.57° (sin²θ₁₃ ≈ 0.0220). -/