Trait Alias maths_traits::analysis::ordered::ArchDivisionRing

trait ArchDivisionRing = ArchCommutativeRing + OrdDivisionRing;

An ordered division ring with the Archimedean property and Archimedean division