kdrag.theories.zf.zf.slemma
===========================

.. currentmodule:: kdrag.theories.zf.zf

.. autofunction:: slemma