Theorem GeneralizedContinuedFraction.exists_rat_eq_nth_denominator

Modification history