Trait alga::general::AdditiveQuasigroup

pub trait AdditiveQuasigroup: AbstractQuasigroup<Additive> + AdditiveMagma + ClosedSub { }

[Alias] Algebraic structure specialized for one kind of operation.

Implementors

impl<T: AbstractQuasigroup<Additive> + AdditiveMagma + ClosedSub> AdditiveQuasigroup for T