Trait scirust::algebra::structure::magma::MagmaAdd [] [src]

pub trait MagmaAdd: MagmaAddPartial + Eq { }

Magma with an addition operation with full equivalence

Implementors