[−][src]Trait Alias maths_traits::analysis::ordered::OrdDivisionRing
trait OrdDivisionRing = OrdCommutativeRing + DivisionRing;
A division ring with ordered addition and multiplication
trait OrdDivisionRing = OrdCommutativeRing + DivisionRing;
A division ring with ordered addition and multiplication