Theorem GeneralizedContinuedFraction.IntFractPair.stream_succ_of_int

Modification history