Nuprl Definition : rgt
x > y == y < x
Definitions occuring in Statement :
rless: x < y
Definitions occuring in definition :
rless: x < y
FDL editor aliases :
rgt
rgt
Latex:
x > y == y < x
Date html generated:
2016_05_18-AM-07_05_18
Last ObjectModification:
2015_09_23-AM-09_01_21
Theory : reals
Home
Index