Documentation

Mathlib.Data.NNRat.Order

Bundled ordered algebra structures on ℚ≥0 #

source
instance instIsStrictOrderedRingNNRat :
IsStrictOrderedRing ℚ≥0
source
instance NNRat.instOrderedSub :
OrderedSub ℚ≥0
source
instance NNRat.instCanonicallyOrderedAdd :
CanonicallyOrderedAdd ℚ≥0