Theorem GeneralizedContinuedFraction.convergent_eq_conts_a_div_conts_b

Modification history