Theorem: F3 (LeanTeaching/Ex2/2.lean)

State before:
f g : ℤ → ℤ
⊢ even_fun f → even_fun g → even_fun (f - g)
Tactic:
sorry
State after:
no goals