lean_workbook_plus_38285
OpenFind given .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_38285 (x : ℝ) (hx : sin x + cos x = 0.8) : sin x ^ 3 + cos x ^ 3 = 0.944 := by sorry
Source
Find given .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_38285 (x : ℝ) (hx : sin x + cos x = 0.8) : sin x ^ 3 + cos x ^ 3 = 0.944 := by sorry