Theorem GeneralizedContinuedFraction.continuantsAux_stable_of_terminated

Modification history