Plankton.Multiplicative

class MultiplicativeMagma a

class MultiplicativeUnital a

class MultiplicativeAssociative a

class MultiplicativeCommutative a

class MultiplicativeInvertible a

product

class Multiplicative a

class MultiplicativeRightCancellative a

class MultiplicativeLeftCancellative a

class MultiplicativeGroup a