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

State before:
n : ℕ
⊢ 1 ≤ 2 ^ n
Tactic:
sorry
State after:
no goals