Trait scirust::algebra::structure::quasigroup::QuasiGroupMulPartial
[−]
[src]
pub trait QuasiGroupMulPartial: MagmaMulPartial + Division<Output=Self> { }Quasigroup with a multiplication operation with partial equivalence