kdrag.contracts.lemmas
======================

.. currentmodule:: kdrag.contracts

.. autofunction:: lemmas