Nuprl Definition : geo-colinear-set
geo-colinear-set(e; L) == (∀A∈L.(∀B∈L.(∀C∈L.Colinear(A;B;C))))
Definitions occuring in Statement :
geo-colinear: Colinear(a;b;c),
l_all: (∀x∈L.P[x])
Definitions occuring in definition :
l_all: (∀x∈L.P[x]),
geo-colinear: Colinear(a;b;c)
Latex:
geo-colinear-set(e; L) == (\mforall{}A\mmember{}L.(\mforall{}B\mmember{}L.(\mforall{}C\mmember{}L.Colinear(A;B;C))))
Date html generated:
2017_10_02-PM-04_39_54
Last ObjectModification:
2017_08_05-AM-10_51_57
Theory : euclidean!plane!geometry
Home
Index