Theorem: FinInt.zext_toUint' (MLIR/Util/FinInt.lean)

State before:
sz₁ sz₂ : ℕ
n : FinInt sz₁
⊢ sz₁ < sz₂ → toUint (zext sz₂ n) = toUint n
Tactic:
sorry
State after:
no goals