kdrag.contract.lemmas
=====================

.. currentmodule:: kdrag.contract

.. autofunction:: lemmas