Theorem GeneralizedContinuedFraction.IntFractPair.exists_nth_stream_eq_none_of_rat

Modification history