Theorem GeneralizedContinuedFraction.exists_s_a_of_part_num

Modification history