lean_workbook_plus_3467
ProvedCorrect the following equation: .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3467 (a b : ℝ) : a / b + (a - b) / (a / b) = a / b + b * (a - b) / a := by sorry
Source
Correct the following equation: .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3467 (a b : ℝ) : a / b + (a - b) / (a / b) = a / b + b * (a - b) / a := by sorry