import TestGame.Metadata

import Mathlib

set_option tactic.hygienic false

Game "TestGame"
World "Function"
Level 1

Title "Abbildungen"

Introduction
"
In diesem Kapitel lernen wir mit Abbildungen/Funktionen umzugehen.

Funktionen auf `ℕ`.

"

Statement
    "TODO"
    : True := by
  trivial

NewTactics rw
