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

State before:
n : ℤ
⊢ n ^ 0 = 1
Tactic:
rfl
State after:
no goals