MDLD/Cauchy sequence (R)

Start=Cauchy sequence (R) Target=Real numbers/Cauchy sequence/Definition