lean_workbook_plus_48819
DisprovedCheck if is correct.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_48819 : ∀ x : ℝ, x^5 + x^2 + 1 = (x^2 + x + 1) * (x^3 + 1) - x^2 * (x^2 + x + 1) := by sorry
Source
Check if is correct.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_48819 : ∀ x : ℝ, x^5 + x^2 + 1 = (x^2 + x + 1) * (x^3 + 1) - x^2 * (x^2 + x + 1) := by sorry