pub trait CommutativeGroup: Commutative + Monoid + Recip { }
Expand description

可換群。

群 $(M, \circ, e)$ であり、交換法則を満たす。

Implementors§