Trait scirust::algebra::structure::monoid::MonoidMulPartial
[−]
[src]
pub trait MonoidMulPartial: SemiGroupMulPartial + One { }Monoid with a multiplication operation with partial equivalence