Trait scirust::algebra::structure::magma::MagmaAdd
[−]
[src]
pub trait MagmaAdd: MagmaAddPartial + Eq { }
Magma with an addition operation with full equivalence