[−][src]Trait Alias maths_traits::analysis::ordered::OrdAbelianGroup
trait OrdAbelianGroup = OrdGroup + AddAbelianGroup;
An additive abelian group with an ordered addition operation
trait OrdAbelianGroup = OrdGroup + AddAbelianGroup;
An additive abelian group with an ordered addition operation