Nuprl Definition : qgt
a > b == b < a
Definitions occuring in Statement :
qless: r < s
Definitions occuring in definition :
qless: r < s
FDL editor aliases :
qgt
Latex:
a > b == b < a
Date html generated:
2016_05_15-PM-10_45_41
Last ObjectModification:
2015_09_23-AM-08_27_21
Theory : rationals
Home
Index