kdrag.kernel.is\_proof
======================

.. currentmodule:: kdrag.kernel

.. autofunction:: is_proof