Theorem Real.exists_continued_fraction_convergent_eq_rat

Modification history