# Documentation

class Unital r => MultiplicativeGroup r whereSource

MultiplicativeGroup () | |

AdditiveGroup r => MultiplicativeGroup (Exp r) | |

MultiplicativeGroup r => MultiplicativeGroup (Opposite r) | |

(Rng r, MultiplicativeGroup r) => MultiplicativeGroup (RngRing r) | |

(MultiplicativeGroup a, MultiplicativeGroup b) => MultiplicativeGroup (a, b) | |

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c) => MultiplicativeGroup (a, b, c) | |

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c, MultiplicativeGroup d) => MultiplicativeGroup (a, b, c, d) | |

(MultiplicativeGroup a, MultiplicativeGroup b, MultiplicativeGroup c, MultiplicativeGroup d, MultiplicativeGroup e) => MultiplicativeGroup (a, b, c, d, e) |