Trait scirust::algebra::structure::group::GroupAdd [] [src]

pub trait GroupAdd: GroupAddPartial + MonoidAdd + LoopAdd { }

Group with an addition operation with full equivalence

Implementors