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

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