lean_workbook_plus_44381
OpenCalculate in decimal form.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_44381 (x : ℝ) (hx : x = 2^Real.logb 6 18 * 3^Real.logb 6 3) : x = 6 := by sorry
Source
Calculate in decimal form.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_44381 (x : ℝ) (hx : x = 2^Real.logb 6 18 * 3^Real.logb 6 3) : x = 6 := by sorry