∫ Утверждение Mathlib
exists_gcf_pair_rat_eq_nth_conts
Mathlib.Algebra.ContinuedFractions.Computation.TerminatesIffRat
URI: https://scilib.ai/kg/mathlib#GenContFract.exists_gcf_pair_rat_eq_nth_conts
∫ Утверждение Mathlib
Mathlib.Algebra.ContinuedFractions.Computation.TerminatesIffRat
URI: https://scilib.ai/kg/mathlib#GenContFract.exists_gcf_pair_rat_eq_nth_conts