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

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