Theorem GeneralizedContinuedFraction.part_num_none_iff_s_none

Modification history