kdrag.theories.int.induct\_nat\_strong
======================================

.. currentmodule:: kdrag.theories.int

.. autofunction:: induct_nat_strong