lean_workbook_plus_18049
ProvedProve that for any integer , is even
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_18049 (n : ℤ) : Even (n^2 - n) := by sorry
Source
Prove that for any integer , is even
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_18049 (n : ℤ) : Even (n^2 - n) := by sorry