algebra-0.4.0: Constructive abstract algebra
Numeric.Multiplication
module Numeric.Semigroup.Multiplicative
module Numeric.Monoid.Multiplicative
module Numeric.Group.Multiplicative
module Numeric.Multiplication.Commutative
module Numeric.Multiplication.Involutive
module Numeric.Multiplication.Factorable