Nuprl Definition : i-length
|I| == right-endpoint(I) - left-endpoint(I)
Definitions occuring in Statement :
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I),
rsub: x - y
Definitions occuring in definition :
rsub: x - y,
right-endpoint: right-endpoint(I),
left-endpoint: left-endpoint(I)
FDL editor aliases :
i-length
i-length
Latex:
|I| == right-endpoint(I) - left-endpoint(I)
Date html generated:
2016_05_18-AM-08_18_23
Last ObjectModification:
2015_09_23-AM-09_05_38
Theory : reals
Home
Index