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

State before:
sz : ℕ
n : FinInt (sz + 1)
⊢ toSint n ≥ -2 ^ sz
Tactic:
sorry
State after:
no goals