Nuprl Definition : right-endpoint

right-endpoint(I) ==  snd(endpoints(I))


Definitions occuring in Statement :  endpoints: endpoints(I),  pi2: snd(t)
Definitions occuring in definition :  pi2: snd(t),  endpoints: endpoints(I)
FDL editor aliases :  right-endpoint right-endpoint
Latex:
right-endpoint(I)  ==    snd(endpoints(I))


Date html generated: 2016_05_18-AM-08_17_51
Last ObjectModification: 2015_09_23-AM-09_05_27

Theory : reals


Home Index