lean_workbook_plus_9324
OpenSuppose . What is the value of ?
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_9324 (a : ℝ) (h : sin a + cos a = 1/5) : sin a ^ 3 + cos a ^ 3 = 37/125 := by sorry
Source
Suppose . What is the value of ?
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_9324 (a : ℝ) (h : sin a + cos a = 1/5) : sin a ^ 3 + cos a ^ 3 = 37/125 := by sorry