mathlib documentation

data.rat.default

Default Imports to Work With Rational Numbers #