Notation for the rational numbers #
Rational numbers, implemented as a pair of integers num / den such that the
denominator is positive and the numerator and denominator are coprime.
Equations
- Rat.termℚ = Lean.ParserDescr.node `Rat.termℚ 1024 (Lean.ParserDescr.symbol "ℚ")