#########
Induction
#########

.. include:: 01-Inductive-Definitions.rst