kdrag.theories.set.finite\_empty ================================ .. currentmodule:: kdrag.theories.set .. autofunction:: finite_empty