Revision #423 → #1424 · back to history
addedNegative number8bfb458b0b90
addedNegative number (equivalent)e39fccebd3c5
addedPositive numberdc9d01306fa2
addedSign of a numbere0759f9a78b3
addedTrichotomy of realsa4accae954ba
addedNatural numbers and integers9881c85b4966
addedOrder on the number line0e11b844463e
addedNegative magnitude comparison4cefec809f6b
addedPositive in signed context6b7cc651ca9d
addedNonnegative and nonpositive5f84c14ec993
addedNegative as subtraction result37f19ee7750d
addedSubtraction of larger from smaller7b881526e581
addedMinus sign operator9d5ba8ef1d20
addedUnary negation of positive6e715caedcfc
addedAddition of two negativese6af7235fc13
addedMixed-sign additiondd2885cc896b
addedSubtraction as adding negativec6d4caef3be9
addedSubtracting a negative1d861b943169
addedSign rules of multiplicationd7a05f7e448d
addedSign-of-product rule500771ca6358
addedSign rules of division0cc14302eb48
addedDivision sign rule77c455184571
addedNegation of a numbereb8275f47b2f
addedNegation is additive inverse862d24f6d366
addedNegation extended to all reals249f9497fea8
addedAbsolute valued4b1c37407b2
addedIntegers as ordered pairs7a0e87691fbe
addedEquivalence relation on pairs52f7fc4102e3
addedIntegers as quotient set9585aeeec4b2
addedIntegers form a ring80944fd56cd7
addedTotal order on integers41951d3c3e8c
addedAdditive zero, inverse, unit, subtraction2141737ca98d
addedUniqueness of additive inverseb323fffc5416