MDLD/real sequences

Start=real sequences See=real sequence
MDLD/real sequence
Target=Real numbers/Sequence/Definition