Theorem GeneralizedContinuedFraction.of_part_num_eq_one

Modification history