lean_workbook_plus_17796
ProvedPreamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_17796 (a : ℝ) (h : (a + 1) * (a ^ 3 - 4) = 0) : a = -1 ∨ a ^ 3 = 4 := by sorry
Source
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_17796 (a : ℝ) (h : (a + 1) * (a ^ 3 - 4) = 0) : a = -1 ∨ a ^ 3 = 4 := by sorry