lean_workbook_plus_1858
ProvedExpress in simplest form.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_1858 (x : ℝ) : (18 / 3) + 2 * Real.sqrt 3 = 6 + 2 * Real.sqrt 3 := by sorry
Source
Express in simplest form.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_1858 (x : ℝ) : (18 / 3) + 2 * Real.sqrt 3 = 6 + 2 * Real.sqrt 3 := by sorry