Theorem: cong (Test/Int/Cong.lean)

State before:
x y : ℤ
f : ℤ → ℤ
⊢ x = y → f x = f y
Tactic:
simp_all
State after:
no goals