Nuprl Definition : left-test

i L jk ==  isleft(xs[i];xs[j];xs[k])


Definitions occuring in Statement :  geo-isleft: isleft(a;b;c),  select: L[n]
Definitions occuring in definition :  geo-isleft: isleft(a;b;c),  select: L[n]
FDL editor aliases :  left-test
Latex:
i  L  jk  ==    isleft(xs[i];xs[j];xs[k])


Date html generated: 2017_10_02-PM-06_50_56
Last ObjectModification: 2017_08_06-PM-07_30_46

Theory : euclidean!plane!geometry


Home Index