mathlib documentation

algebra.continued_fractions.computation.default

Default Exports for the Computation of Continued Fractions #