Theorem: Odd_Odd_Even (Colloquia/ConversationWithLean/Colloquium.lean)

State before:
n m : ℕ
hn : Odd n
hm : Odd m
⊢ Even (n + m)
Tactic:
sorry
State after:
no goals