Theorem GeneralizedContinuedFraction.convergents'Aux_stable_of_terminated

Modification history