Theorem GeneralizedContinuedFraction.convergents'Aux_succ_some

Modification history