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

trait ArchGroup = ArchMonoid + OrdGroup;

An ordered group with the Archimedean property