kdrag.theories.algebra.check\_semigroup
=======================================

.. currentmodule:: kdrag.theories.algebra

.. autofunction:: check_semigroup