[−][src]Trait Alias maths_traits::analysis::ordered::ArchAbelianGroup
trait ArchAbelianGroup = ArchMonoid + OrdAbelianGroup;
An ordered abeliean group with the Archimedean property
trait ArchAbelianGroup = ArchMonoid + OrdAbelianGroup;
An ordered abeliean group with the Archimedean property