Nuprl Definition : inhabited-rat-interval

Inhabited(I) ==  let a,b = I in q_le(a;b)


Definitions occuring in Statement :  q_le: q_le(r;s),  spread: spread def
Definitions occuring in definition :  q_le: q_le(r;s),  spread: spread def
FDL editor aliases :  inhabited-ri inhabited-ri
Latex:
Inhabited(I)  ==    let  a,b  =  I  in  q\_le(a;b)


Date html generated: 2019_10_29-AM-07_47_26
Last ObjectModification: 2019_10_17-PM-04_31_37

Theory : rationals


Home Index