Theorem GeneralizedContinuedFraction.of_terminatedAt_iff_intFractPair_seq1_terminatedAt

Modification history