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

State before:
n : ℕ
⊢ n > 0 → 1 < 2 ^ n
Tactic:
sorry
State after:
no goals