Nuprl Definition : q-between
a < b < c == a < b ∧ b < c
Definitions occuring in Statement :
qless: r < s,
and: P ∧ Q
Definitions occuring in definition :
and: P ∧ Q,
qless: r < s
FDL editor aliases :
q-between
Latex:
a < b < c == a < b \mwedge{} b < c
Date html generated:
2016_05_15-PM-11_05_26
Last ObjectModification:
2015_09_23-AM-08_27_32
Theory : rationals
Home
Index