commutative monoid
==================

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