group laws
==========

.. automodule:: boring_math.abstract_algebra.laws.group