Theorem: Int.sub_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