import NNG.Metadata
--import NNG.MyNat.Power

Game "NNG"
World "Power"
Level 1
Title ""

open MyNat

Introduction
"

"

Statement
"$0 ^ 0 = 1$"
    : true := by -- (0 : ℕ) ^ (0 : ℕ) = 1 := by
  trivial

Conclusion
"

"

