def definition def or abbrev

`V_tb`

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

formal statement (Lean)

  83noncomputable def V_tb : ℂ := 1

proof body

Definition body.

  84
  85/-! ## φ-Connection Hypotheses -/
  86
  87/-- Hypothesis 1: λ = sin(θ_c) = 1/(2φ)
  88
  89    1/(2 × 1.618) = 1/3.236 = 0.309
  90
  91    Too large compared to observed 0.227. -/

used by (2)

From the project-wide theorem graph. These declarations reference this one in their body.

cp_violation_small in IndisputableMonolith.StandardModel.CKMMatrix decl_use
unitarity_triangle_valid in IndisputableMonolith.StandardModel.CKMMatrix decl_use

depends on (1)

Lean names referenced from this declaration's body.

Hypothesis in IndisputableMonolith.ClassicalBridge.Fluids.CPM2D decl_use