Theorem GeneralizedContinuedFraction.convergents'Aux_succ_none

Modification history