Theorem GeneralizedContinuedFraction.nth_cont_eq_succ_nth_cont_aux

Modification history