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*
Latex:
x > y == y < x
Date html generated:
2018_05_22-PM-03_18_46
Last ObjectModification:
2017_10_06-PM-05_19_01
Theory : reals_2
Home
Index