kdrag.tactics.Lemma
===================

.. currentmodule:: kdrag.tactics

.. autofunction:: Lemma