Trait scirust::algebra::structure::group::GroupMul
[−]
[src]
pub trait GroupMul: GroupMulPartial + MonoidMul + LoopMul { }
Group with a multiplication operation with full equivalence