lean_workbook_plus_3071
Provedfor a=b=2,
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_3071 (a b : ℝ) : a = 2 ∧ b = 2 → (a^3*b^3+1)/(a^3+b^3) = 65/16 := by sorry
Source
for a=b=2,
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_3071 (a b : ℝ) : a = 2 ∧ b = 2 → (a^3*b^3+1)/(a^3+b^3) = 65/16 := by sorry