lean_workbook_plus_5384
OpenFind x such that where x is a real number
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_5384 : ∃ x : ℝ, x^2 = 2^x := by sorry
Source
Find x such that where x is a real number
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_5384 : ∃ x : ℝ, x^2 = 2^x := by sorry