lean_workbook_plus_16817
ProvedGiven and ,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_16817 (a b : ℝ) (hab : a + b = 7) (ha3b3 : a^3 + b^3 = 42) : 1/a + 1/b = 21/43 := by sorry
Source
Given and ,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_16817 (a b : ℝ) (hab : a + b = 7) (ha3b3 : a^3 + b^3 = 42) : 1/a + 1/b = 21/43 := by sorry