Nuprl Definition : ratless
ratless(x;y) == let a,b = x in let c,d = y in a * d < b * c
Definitions occuring in Statement :
less_than: a < b,
spread: spread def,
multiply: n * m
Definitions occuring in definition :
spread: spread def,
less_than: a < b,
multiply: n * m
FDL editor aliases :
ratless
Latex:
ratless(x;y) == let a,b = x in let c,d = y in a * d < b * c
Date html generated:
2019_10_30-AM-09_38_10
Last ObjectModification:
2019_01_16-PM-06_13_00
Theory : reals
Home
Index