# Documentation

Mathlib.Data.Rat.Init

# 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