Theorem GenContFract.IntFractPair.exists_succ_nth_stream_of_fr_zero

Modification history