RationalNumber

A name from the enumeratio catalogue with no kernel of its own yet; this page carries its crosswalk only.

To rational number

OEISA005728via FareySequences↗mathlib4Ratvia RationalNumbers↗

RationalNumber(...)To rational number

Typed signatures

Type	Package	Applies
(tuple<integer, integer>) -> rational_number	numerals	always

Domain: Combinatorics

About

Crosswalk	OEISmathlib4