Nuprl Definition : geo-colinear

Colinear(a;b;c) ==  ¬a # bc


Definitions occuring in Statement :  geo-lsep: a # bc,  not: ¬A
Definitions occuring in definition :  geo-lsep: a # bc,  not: ¬A
FDL editor aliases :  geo-col geo-col
Latex:
Colinear(a;b;c)  ==    \mneg{}a  \#  bc


Date html generated: 2019_10_29-AM-09_12_41
Last ObjectModification: 2019_10_25-PM-01_29_41

Theory : euclidean!plane!geometry


Home Index