Trait Alias maths_traits::analysis::ordered::ArchUnitalRing

trait ArchUnitalRing = ArchRing + OrdUnitalRing + ArchimedeanDiv;

An ordered unital ring with the Archimedean property and Archimedean division