kdrag.theories.set.finite\_decl
===============================

.. currentmodule:: kdrag.theories.set

.. autofunction:: finite_decl