lean_workbook_plus_14481
ProvedShow that for all positive integers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_14481 (n : ℕ) : ¬ 2 ∣ n^2 + n + 1 := by sorry
Source
Show that for all positive integers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_14481 (n : ℕ) : ¬ 2 ∣ n^2 + n + 1 := by sorry