Nuprl Definition : rv-between
a-b-c == a-b-c ∧ a ≠ c
Definitions occuring in Statement :
real-vec-sep: a ≠ b,
real-vec-between: a-b-c,
and: P ∧ Q
Definitions occuring in definition :
real-vec-sep: a ≠ b,
real-vec-between: a-b-c,
and: P ∧ Q
FDL editor aliases :
rv-between
Latex:
a-b-c == a-b-c \mwedge{} a \mneq{} c
Date html generated:
2016_10_26-AM-10_31_26
Last ObjectModification:
2016_09_24-PM-11_27_33
Theory : reals
Home
Index