Theorem GeneralizedContinuedFraction.exists_rat_eq_nth_convergent

Modification history