[][src]Trait Alias maths_traits::analysis::ordered::ArchAbelianGroup

trait ArchAbelianGroup = ArchMonoid + OrdAbelianGroup;

An ordered abeliean group with the Archimedean property