kdrag.tactics.Theorem
=====================

.. currentmodule:: kdrag.tactics

.. autofunction:: Theorem