The rational numbers form a linear ordered field #
This file used to contain the linear ordered field instance on the rational numbers.
TODO: rename this file to Mathlib.Algebra.Order.GroupWithZero.NNRat
See note [foundational algebra order theory].
Tags #
rat, rationals, field, ℚ, numerator, denominator, num, denom