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

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