Nuprl Definition : r2-left
r2-left(p;q;r) == r0 < |pqr|
Definitions occuring in Statement :
r2-det: |pqr|,
rless: x < y,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rless: x < y,
int-to-real: r(n),
natural_number: $n,
r2-det: |pqr|
FDL editor aliases :
r2-left
Latex:
r2-left(p;q;r) == r0 < |pqr|
Date html generated:
2017_10_03-AM-11_47_26
Last ObjectModification:
2017_04_11-PM-05_33_37
Theory : reals
Home
Index