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

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