Nuprl Definition : geo-orientation
geo-orientation(g;a;b;c) == g."Lorsquashstable" a b c ⋅
Definitions occuring in Statement :
it: ⋅,
apply: f a,
token: "$token",
record-select: r.x
Definitions occuring in definition :
apply: f a,
record-select: r.x,
token: "$token",
it: ⋅
FDL editor aliases :
geo-orientation
geo-orientation
Latex:
geo-orientation(g;a;b;c) == g."Lorsquashstable" a b c \mcdot{}
Date html generated:
2017_10_02-PM-06_49_36
Last ObjectModification:
2017_08_06-PM-07_29_26
Theory : euclidean!plane!geometry
Home
Index