Trait nekolib::traits::binop::CommutativeGroup
source · pub trait CommutativeGroup: Commutative + Monoid + Recip { }
Expand description
可換群。
群 $(M, \circ, e)$ であり、交換法則を満たす。
pub trait CommutativeGroup: Commutative + Monoid + Recip { }
可換群。
群 $(M, \circ, e)$ であり、交換法則を満たす。