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

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

.. autofunction:: FinSet