Theorem: MyNat.pow_zero (NNG/MyNat/Power.lean)

State before:
m : ℕ
⊢ m ^ 0 = 1
Tactic:
rfl
State after:
no goals