Theorem GeneralizedContinuedFraction.convergent_eq_num_div_denom

Modification history