kdrag.tactics.PTheorem
======================

.. currentmodule:: kdrag.tactics

.. autofunction:: PTheorem