Trait scirust::algebra::structure::group::GroupAddPartial
[−]
[src]
pub trait GroupAddPartial: MonoidAddPartial + LoopAddPartial { }
Group with an addition operation with partial equivalence