theorem proved term proof

`bottom_strange_ratio_bounds`

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

formal statement (Lean)

 151theorem bottom_strange_ratio_bounds :
 152    (17 : ℝ) < phi ^ 6 ∧ phi ^ 6 < (18 : ℝ) := phi_pow_6_bounds

Term-mode proof.

 153
 154/-- The top/charm mass ratio: m_t/m_c = φ^(21-15) = φ⁶ ≈ 17.9. -/

Lean names referenced from this declaration's body.

phi_pow_6_bounds in IndisputableMonolith.Masses.NumericalPredictions decl_use