lean_workbook_plus_69449
Disproved????
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_69449 : ∀ n : ℕ, 27 * n ^ 3 + 9 * n ^ 2 + 9 * n + 1 = (3 * n + 1) ^ 3 := by sorry
Source
????
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_69449 : ∀ n : ℕ, 27 * n ^ 3 + 9 * n ^ 2 + 9 * n + 1 = (3 * n + 1) ^ 3 := by sorry