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

State before:
x z : ℤ
⊢ z > 0 → x ≥ 0 → (z + x) % z = x % z
Tactic:
sorry
State after:
no goals