lean_workbook_plus_49736

Proved

by Community (Bot) · Feb 28, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

We have $(9-h):r=9:6 \implies 18-2h=3r \implies h=\frac{18-3r}{2}$ .

Preamble

import Mathlib.Analysis.Complex.Basic

Formal statement

theorem lean_workbook_plus_49736 (h r : ℝ) : (9 - h) / r = 9 / 6 → h = (18 - 3 * r) / 2   :=  by sorry

Source