Theorem: Int.sub_add_assoc (MLIR/Util/Arith.lean)

State before:
n m k : ℤ
⊢ n - m + k = n + (k - m)
Tactic:
simp [Int.sub_eq_add_neg, Int.add_assoc, Int.add_comm (-m) k]
State after:
no goals