kdrag.theories.logic.peano.induct
=================================

.. currentmodule:: kdrag.theories.logic.peano

.. autofunction:: induct