lean_workbook_plus_3076
ProvedShow that =
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3076 (a b : ℝ) : a / b = 1 / (b / a) := by sorry
Source
Show that =
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3076 (a b : ℝ) : a / b = 1 / (b / a) := by sorry