Nuprl Definition : proj-sep
a ≠ b == u(a) ≠ u(b) ∧ u(a) ≠ r(-1)*u(b)
Definitions occuring in Statement :
punit: u(a),
real-vec-sep: a ≠ b,
real-vec-mul: a*X,
int-to-real: r(n),
and: P ∧ Q,
add: n + m,
minus: -n,
natural_number: $n
Definitions occuring in definition :
and: P ∧ Q,
real-vec-sep: a ≠ b,
add: n + m,
real-vec-mul: a*X,
int-to-real: r(n),
minus: -n,
natural_number: $n,
punit: u(a)
FDL editor aliases :
proj-sep
Latex:
a \mneq{} b == u(a) \mneq{} u(b) \mwedge{} u(a) \mneq{} r(-1)*u(b)
Date html generated:
2017_10_05-AM-00_17_20
Last ObjectModification:
2017_06_18-PM-01_51_45
Theory : inner!product!spaces
Home
Index