Trait scirust::algebra::structure::group::GroupMulPartial
[−]
[src]
pub trait GroupMulPartial: MonoidMulPartial + LoopMulPartial { }
Group with a multiplication operation with partial equivalence