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

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

.. autofunction:: FinSet