[−][src]Trait Alias maths_traits::analysis::ordered::ArchMonoid
trait ArchMonoid = ArchSemigroup + OrdMonoid;
An ordered monoid with the Archimedean property
trait ArchMonoid = ArchSemigroup + OrdMonoid;
An ordered monoid with the Archimedean property