Nuprl Definition : qless
r < s == r < s
Definitions occuring in Statement :
qadd_grp: <ℚ+>,
grp_lt: a < b
Definitions occuring in definition :
grp_lt: a < b,
qadd_grp: <ℚ+>
FDL editor aliases :
qless
Latex:
r < s == r < s
Date html generated:
2016_05_15-PM-10_42_06
Last ObjectModification:
2015_09_23-AM-08_27_06
Theory : rationals
Home
Index