lean_workbook_plus_51560
OpenVerify that .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_51560 (θ : ℝ) : (1 - sin θ) * (sin θ ^ 2 + sin θ + 1) = 1 - sin θ ^ 3 := by sorry
Source
Verify that .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_51560 (θ : ℝ) : (1 - sin θ) * (sin θ ^ 2 + sin θ + 1) = 1 - sin θ ^ 3 := by sorry