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

可換群。

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

Implementors§