Trait scirust::algebra::structure::semigroup::SemiGroupMul
[−]
[src]
pub trait SemiGroupMul: SemiGroupMulPartial + MagmaMul { }Semigroup with a multiplication operation with full equivalence