Theorem GeneralizedContinuedFraction.exists_int_eq_of_part_denom

Modification history