Theorem GeneralizedContinuedFraction.exists_s_b_of_part_denom

Modification history