Theorem GeneralizedContinuedFraction.succ_nth_convergent_eq_squashGCF_nth_convergent

Modification history