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

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

.. autofunction:: slemma