def definition def or abbrev

`hypothesis4`

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

formal statement (Lean)

 113noncomputable def hypothesis4 : ℝ := (3 - phi) / 3

Definition body.

 114
 115/-- Hypothesis 5: λ = sin(π/(4φ))
 116
 117    sin(π/6.472) = sin(0.485) ≈ 0.466
 118
 119    Too large. -/

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

Lean names referenced from this declaration's body.