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