Theorem GeneralizedContinuedFraction.convergents_stable_of_terminated

Modification history