Trait scirust::algebra::structure::group::GroupAdd
[−]
[src]
pub trait GroupAdd: GroupAddPartial + MonoidAdd + LoopAdd { }
Group with an addition operation with full equivalence