commutative_semigroup
=====================

.. automodule:: boring_math.abstract_algebra.algebras.commutative_semigroup
    :members:
    :special-members: