Theorem GeneralizedContinuedFraction.exists_rat_eq_of_terminates

Modification history