lean_workbook_plus_13249
ProvedIf find the value of
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_13249 (x : ℝ) (hx : 2*x - 1/(3*x) = 2) : 3*x - 1/(2*x) = 3 := by sorry
Source
If find the value of
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_13249 (x : ℝ) (hx : 2*x - 1/(3*x) = 2) : 3*x - 1/(2*x) = 3 := by sorry