Keyword: quotient types

• Rational: A definition of rational numbers
  Samuel Boutin