Trait maths_traits::analysis::ordered::ArchSemigroup

pub trait ArchSemigroup: OrdSemigroup + ArchimedeanProperty { }

An ordered semigroup with the Archimedean property

Implementors

impl<_G: OrdSemigroup + ArchimedeanProperty> ArchSemigroup for _G

Loading content...