Theorem: neg (Test/Int/Neg.lean)

State before:
x : ℤ
⊢ - -x = x
Tactic:
smt_show <;> sorry
State after:
no goals