lean_workbook_plus_66346
ProvedProve that is even for all integers .
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_66346 (n : ℕ) (h : n > 0) : Even (2 ^ n) := by sorry
Source
Prove that is even for all integers .
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_66346 (n : ℕ) (h : n > 0) : Even (2 ^ n) := by sorry