Nuprl Definition : left-endpoint

left-endpoint(I) ==  fst(endpoints(I))



Definitions occuring in Statement :  endpoints: endpoints(I) pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t) endpoints: endpoints(I)
FDL editor aliases :  left-endpoint left-endpoint

Latex:
left-endpoint(I)  ==    fst(endpoints(I))



Date html generated: 2016_05_18-AM-08_17_34
Last ObjectModification: 2015_09_23-AM-09_05_21

Theory : reals


Home Index