path: root/algebraic-structures.number.product.monoid.scm

(import (algebraic-structures monoid)
        (only (algebraic-structures private number product)))
(module (algebraic-structures number product monoid) = ((algebraic-structures monoid) (algebraic-structures private number product)))