Trait scirust::algebra::structure::monoid::MonoidMul [] [src]

pub trait MonoidMul: SemiGroupMul + MonoidMulPartial { }

Monoid with a multiplication operation with full equivalence

Implementors