Theorem GeneralizedContinuedFraction.convergents'_succ

Modification history