Nuprl Definition : rat-point-interval

[a] ==  <a, a>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  rat-point-interval rat-point-interval
Latex:
[a]  ==    <a,  a>


Date html generated: 2019_10_29-AM-07_46_51
Last ObjectModification: 2019_10_17-AM-11_07_22

Theory : rationals


Home Index