Theorem GeneralizedContinuedFraction.IntFractPair.stream_succ

Modification history