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

.. automodule:: kdrag.theories.logic.zf

   
   
   

   
   
   .. rubric:: Functions

   .. autosummary::
      :toctree:
   
      FinSet
      slemma
      test
   
   

   
   
   

   
   
   





.. literalinclude:: ../../kdrag/theories/logic/zf.py
   :language: python