Theorem GeneralizedContinuedFraction.convergents'_stable_of_terminated

Modification history