Trait scirust::algebra::structure::group::GroupMul [] [src]

pub trait GroupMul: GroupMulPartial + MonoidMul + LoopMul { }

Group with a multiplication operation with full equivalence

Implementors