Nuprl Definition : rccint

[l, u] ==  <inl inl l, inl inl u>


Definitions occuring in Statement :  pair: <a, b>,  inl: inl x
Definitions occuring in definition :  pair: <a, b>,  inl: inl x
FDL editor aliases :  rccint rccint
Latex:
[l,  u]  ==    <inl  inl  l,  inl  inl  u>


Date html generated: 2016_05_18-AM-08_19_46
Last ObjectModification: 2015_09_23-AM-09_05_56

Theory : reals


Home Index