lean_workbook_plus_33810
ProvedShow that is even if and are odd integers.
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_33810 (a c : ℤ) (h1 : Odd a) (h2 : Odd c) : Even (a + c) := by sorry
Source
Show that is even if and are odd integers.
import Mathlib.Analysis.Complex.Basic
theorem lean_workbook_plus_33810 (a c : ℤ) (h1 : Odd a) (h2 : Odd c) : Even (a + c) := by sorry