Trait Alias maths_traits::analysis::ordered::ArchDivisionSemiring

trait ArchDivisionSemiring = ArchCommutativeSemiring + OrdDivisionSemiring;

An ordered division semiring with the Archimedean property and Archimedean division