Theorem GeneralizedContinuedFraction.convergents'_of_int

Modification history