Nuprl Definition : geo-general-position
geo-general-position(g;xs) == ∀k:ℕ||xs||. ∀j:ℕk. ∀i:ℕj. xs[k] # xs[i]xs[j]
Definitions occuring in Statement :
geo-lsep: a # bc,
select: L[n],
length: ||as||,
int_seg: {i..j-},
all: ∀x:A. B[x],
natural_number: $n
Definitions occuring in definition :
length: ||as||,
all: ∀x:A. B[x],
int_seg: {i..j-},
natural_number: $n,
geo-lsep: a # bc,
select: L[n]
FDL editor aliases :
geo-general-position
Latex:
geo-general-position(g;xs) == \mforall{}k:\mBbbN{}||xs||. \mforall{}j:\mBbbN{}k. \mforall{}i:\mBbbN{}j. xs[k] \# xs[i]xs[j]
Date html generated:
2017_10_02-PM-06_50_28
Last ObjectModification:
2017_08_06-PM-07_30_25
Theory : euclidean!plane!geometry
Home
Index