Theorem: FinInt.neg_toUint (MLIR/Util/FinInt.lean)

State before:
sz : ℕ
n : FinInt sz
⊢ toUint (-n) = mod2 (-toUint n) sz
Tactic:
sorry
State after:
no goals