Nuprl Definition : geo-isleft

isleft(a;b;c) ==  isl(geo-orientation(g;a;b;c))


Definitions occuring in Statement :  geo-orientation: geo-orientation(g;a;b;c),  isl: isl(x)
Definitions occuring in definition :  isl: isl(x),  geo-orientation: geo-orientation(g;a;b;c)
FDL editor aliases :  geo-isleft geo-isleft
Latex:
isleft(a;b;c)  ==    isl(geo-orientation(g;a;b;c))


Date html generated: 2017_10_02-PM-06_49_51
Last ObjectModification: 2017_08_06-PM-07_29_38

Theory : euclidean!plane!geometry


Home Index