Theorem GeneralizedContinuedFraction.succ_nth_convergent'_eq_squashGCF_nth_convergent'

Modification history